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 SMP # Enable multiple cores 28 29# NFS root from boopt/dhcp 30#options BOOTP 31#options BOOTP_NFSROOT 32#options BOOTP_COMPAT 33#options BOOTP_NFSV3 34#options BOOTP_WIRED_TO=ffec0 35 36#options ROOTDEVNAME=\"nfs:10.5.0.1:/tftpboot/cosmic\" 37options ROOTDEVNAME=\"ufs:/dev/da0\" 38 39options MUTEX_NOINLINE 40options RWLOCK_NOINLINE 41options NO_FFS_SNAPSHOT 42options NO_SWAPPING 43 44# Interrupt controller 45device gic 46 47# ARM MPCore timer 48device mpcore_timer 49 50# MMC/SD/SDIO Card slot support 51device mmc # mmc/sd bus 52device mmcsd # mmc/sd flash cards 53device sdhci # generic sdhci 54 55# Pseudo devices 56 57device loop 58device pty 59device md 60device gpio 61 62# USB support 63options USB_HOST_ALIGN=32 # Align usb buffers to cache line size. 64device usb 65#device musb 66device ehci 67#device ohci 68 69device umass 70device scbus # SCSI bus (required for ATA/SCSI) 71device da # Direct Access (disks) 72device pass 73 74# SATA 75#device ata 76#device atadisk 77#device mvs 78 79# Serial ports 80device uart 81 82# I2C (TWSI) 83device iic 84device iicbus 85 86# Ethernet 87device ether 88device ffec 89 90# USB ethernet support, requires miibus 91device miibus 92device axe # ASIX Electronics USB Ethernet 93device bpf # Berkeley packet filter 94 95device sound 96 97# SPI 98device spibus 99device vf_spi 100 101# Framebuffer 102device vt 103device kbdmux 104device ukbd 105 106# HID support 107device hid # Generic HID support 108 109# Flattened Device Tree 110options FDT # Configure using FDT/DTB data 111