DB-78XXX revision 233271
1# 2# Custom kernel for Marvell DB-78xx boards. 3# 4# $FreeBSD: head/sys/arm/conf/DB-78XXX 233271 2012-03-21 08:38:42Z ed $ 5# 6 7ident DB-88F78XX 8include "../mv/discovery/std.db78xxx" 9 10options SOC_MV_DISCOVERY 11makeoptions MODULES_OVERRIDE="" 12 13#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 14makeoptions WERROR="-Werror" 15 16options SCHED_4BSD #4BSD scheduler 17options INET #InterNETworking 18options INET6 #IPv6 communications protocols 19options FFS #Berkeley Fast Filesystem 20options NFSCL #New Network Filesystem Client 21options NFSLOCKD #Network Lock Manager 22options NFS_ROOT #NFS usable as /, requires NFSCL 23options BOOTP 24options BOOTP_NFSROOT 25options BOOTP_NFSV3 26options BOOTP_WIRED_TO=mge0 27 28#options ROOTDEVNAME=\"ufs:/dev/da0a\" 29 30options SYSVSHM #SYSV-style shared memory 31options SYSVMSG #SYSV-style message queues 32options SYSVSEM #SYSV-style semaphores 33options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions 34options MUTEX_NOINLINE 35options RWLOCK_NOINLINE 36options NO_FFS_SNAPSHOT 37options NO_SWAPPING 38 39# Debugging 40options ALT_BREAK_TO_DEBUGGER 41options DDB 42#options DEADLKRES #Enable the deadlock resolver 43options DIAGNOSTIC 44#options INVARIANTS #Enable calls of extra sanity checking 45#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 46options KDB 47options WITNESS #Enable checks to detect deadlocks and cycles 48options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 49#options WITNESS_KDB 50 51device pci 52 53# Pseudo devices 54device loop 55device md 56device random 57 58# Serial ports 59device uart 60 61# Networking 62device ether 63device mge # Marvell Gigabit Ethernet controller 64device mii 65device e1000phy 66device bpf 67 68# USB 69options USB_DEBUG # enable debug msgs 70device usb 71device ehci 72device umass 73device scbus 74device pass 75device da 76 77# I2C (TWSI) 78device iic 79device iicbus 80device ds133x 81 82# SATA 83device mvs 84 85# Flattened Device Tree 86options FDT 87makeoptions FDT_DTS_FILE=db78100.dts 88