DB-78XXX revision 302408
1# 2# Custom kernel for Marvell DB-78xx boards. 3# 4# $FreeBSD: stable/11/sys/arm/conf/DB-78XXX 295621 2016-02-14 23:42:07Z andrew $ 5# 6 7ident DB-88F78XX 8include "std.arm" 9include "../mv/discovery/std.db78xxx" 10 11options SOC_MV_DISCOVERY 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 NANDFS # NAND Filesystem 24options NFSCL # Network Filesystem Client 25options NFSLOCKD # Network Lock Manager 26options NFS_ROOT # NFS usable as /, requires NFSCL 27options BOOTP 28options BOOTP_NFSROOT 29options BOOTP_NFSV3 30options BOOTP_WIRED_TO=mge0 31 32#options ROOTDEVNAME=\"ufs:/dev/da0a\" 33 34options SYSVSHM # SYSV-style shared memory 35options SYSVMSG # SYSV-style message queues 36options SYSVSEM # SYSV-style semaphores 37options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 38options MUTEX_NOINLINE 39options RWLOCK_NOINLINE 40options NO_FFS_SNAPSHOT 41options NO_SWAPPING 42 43# Debugging 44options ALT_BREAK_TO_DEBUGGER 45options DDB 46#options DEADLKRES # Enable the deadlock resolver 47#options DIAGNOSTIC 48#options INVARIANTS # Enable calls of extra sanity checking 49#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 50options KDB 51options WITNESS # Enable checks to detect deadlocks and cycles 52options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 53#options WITNESS_KDB 54 55device pci 56 57# Pseudo devices 58device loop 59device md 60device random 61 62# Serial ports 63device uart 64 65# Networking 66device ether 67device mge # Marvell Gigabit Ethernet controller 68device mii 69device mdio 70device e1000phy 71device bpf 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 85device twsi 86device ds133x 87 88# SATA 89device mvs 90 91# NAND 92device nand 93 94# GPIO 95device gpio 96 97# Flattened Device Tree 98options FDT 99options FDT_DTB_STATIC 100makeoptions FDT_DTS_FILE=db78100.dts 101