DB-88F5XXX revision 294413
1# 2# Custom kernel for Marvell DB-88F5xxx boards. 3# 4# $FreeBSD: head/sys/arm/conf/DB-88F5XXX 294413 2016-01-20 11:57:11Z zbb $ 5# 6 7ident DB-88F5XXX 8include "std.arm" 9include "../mv/orion/std.db88f5xxx" 10 11options SOC_MV_ORION 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 GEOM_PART_BSD # BSD partition scheme 20options GEOM_PART_MBR # MBR partition scheme 21options TMPFS # Efficient memory filesystem 22options FFS # Berkeley Fast Filesystem 23options NFSCL # Network Filesystem Client 24options NFSLOCKD # Network Lock Manager 25options NFS_ROOT # NFS usable as /, requires NFSCL 26options BOOTP 27options BOOTP_NFSROOT 28options BOOTP_NFSV3 29options BOOTP_WIRED_TO=mge0 30 31#options ROOTDEVNAME=\"ufs:/dev/da0a\" 32 33options SYSVSHM # SYSV-style shared memory 34options SYSVMSG # SYSV-style message queues 35options SYSVSEM # SYSV-style semaphores 36options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 37options MUTEX_NOINLINE 38options RWLOCK_NOINLINE 39options NO_FFS_SNAPSHOT 40options NO_SWAPPING 41 42# Debugging 43options ALT_BREAK_TO_DEBUGGER 44options DDB 45#options DEADLKRES # Enable the deadlock resolver 46#options DIAGNOSTIC 47#options INVARIANTS # Enable calls of extra sanity checking 48#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 49options KDB 50options WITNESS # Enable checks to detect deadlocks and cycles 51options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 52#options WITNESS_KDB 53 54device pci 55 56# Pseudo devices 57device md 58device loop 59device random 60 61# Serial ports 62device uart 63 64# Networking 65device ether 66device mge # Marvell Gigabit Ethernet controller 67device mii 68device mdio 69device e1000phy 70device bpf 71options DEVICE_POLLING 72options HZ=1000 73 74# I2C (TWSI) 75device iic 76device iicbus 77device ds133x 78 79# USB 80options USB_DEBUG # enable debug msgs 81device usb 82device ehci 83device umass 84device scbus 85device pass 86device da 87 88# SATA 89device mvs 90 91# GPIO 92device gpio 93 94# Flattened Device Tree 95options FDT 96makeoptions FDT_DTS_FILE=db88f5281.dts 97