1# 2# Kernel configuration for Vybrid Family boards. 3# 4# For more information on this file, please read the config(5) manual page, 5# and/or the handbook section on Kernel Configuration Files: 6# 7# https://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 8# 9# The handbook is also available locally in /usr/share/doc/handbook 10# if you've installed the doc distribution, otherwise always see the 11# FreeBSD World Wide Web server (https://www.FreeBSD.org/) for the 12# latest information. 13# 14# An exhaustive list of options and more detailed explanations of the 15# device lines is also present in the ../../conf/NOTES and NOTES files. 16# If you are in doubt as to the purpose or necessity of a line, check first 17# in NOTES. 18# 19# $FreeBSD$ 20 21ident VYBRID 22include "std.armv7" 23include "../freescale/vybrid/std.vybrid" 24 25options SCHED_4BSD # 4BSD scheduler 26options PLATFORM # Platform based SoC 27#options NANDFS # NAND Filesystem 28#options SMP # Enable multiple cores 29 30# NFS root from boopt/dhcp 31#options BOOTP 32#options BOOTP_NFSROOT 33#options BOOTP_COMPAT 34#options BOOTP_NFSV3 35#options BOOTP_WIRED_TO=ffec0 36 37#options ROOTDEVNAME=\"nfs:10.5.0.1:/tftpboot/cosmic\" 38#options ROOTDEVNAME=\"nandfs:/dev/gnand0s.root\" 39options ROOTDEVNAME=\"ufs:/dev/da0\" 40 41options MUTEX_NOINLINE 42options RWLOCK_NOINLINE 43options NO_FFS_SNAPSHOT 44options NO_SWAPPING 45 46# Interrupt controller 47device gic 48 49# ARM MPCore timer 50device mpcore_timer 51 52# MMC/SD/SDIO Card slot support 53device mmc # mmc/sd bus 54device mmcsd # mmc/sd flash cards 55device sdhci # generic sdhci 56 57# Pseudo devices 58 59device loop 60device random 61device pty 62device md 63device gpio 64 65# USB support 66options USB_HOST_ALIGN=32 # Align usb buffers to cache line size. 67device usb 68#device musb 69device ehci 70#device ohci 71 72device umass 73device scbus # SCSI bus (required for ATA/SCSI) 74device da # Direct Access (disks) 75device pass 76 77# SATA 78#device ata 79#device atadisk 80#device mvs 81 82device nand 83 84# Serial ports 85device uart 86 87# I2C (TWSI) 88device iic 89device iicbus 90 91# Ethernet 92device ether 93device ffec 94 95# USB ethernet support, requires miibus 96device miibus 97device axe # ASIX Electronics USB Ethernet 98device bpf # Berkeley packet filter 99 100device sound 101 102# SPI 103device spibus 104device vf_spi 105 106# Framebuffer 107device vt 108device kbdmux 109device ukbd 110 111# Flattened Device Tree 112options FDT # Configure using FDT/DTB data 113