DB-88F5XXX revision 295621
1# 2# Custom kernel for Marvell DB-88F5xxx boards. 3# 4# $FreeBSD: head/sys/arm/conf/DB-88F5XXX 295621 2016-02-14 23:42:07Z andrew $ 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 twsi 78device ds133x 79 80# USB 81options USB_DEBUG # enable debug msgs 82device usb 83device ehci 84device umass 85device scbus 86device pass 87device da 88 89# SATA 90device mvs 91 92# GPIO 93device gpio 94 95# Flattened Device Tree 96options FDT 97makeoptions FDT_DTS_FILE=db88f5281.dts 98