1# 2# Custom kernel for Marvell DB-88F6xxx boards. 3# 4# $FreeBSD$ 5# 6 7ident DB-88F6XXX 8include "../mv/kirkwood/std.db88f6xxx" 9 10options SOC_MV_KIRKWOOD 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 pty 57device random 58 59# Serial ports 60device uart 61 62# Networking 63device ether 64device mge # Marvell Gigabit Ethernet controller 65device mii 66device e1000phy 67device bpf 68 69device cesa # Marvell security engine 70device crypto 71device cryptodev 72 73# USB 74options USB_DEBUG # enable debug msgs 75device usb 76device ehci 77device umass 78device scbus 79device pass 80device da 81 82# I2C (TWSI) 83device iic 84device iicbus 85 86# SATA 87device mvs 88 89# Flattened Device Tree 90options FDT 91makeoptions FDT_DTS_FILE=db88f6281.dts 92