1# 2# Custom kernel for Marvell Armada XP 3# 4# $FreeBSD$ 5# 6 7ident MV-88F78XX0 8include "../mv/armadaxp/std.mv78x60" 9 10options SOC_MV_ARMADAXP 11makeoptions MODULES_OVERRIDE="" 12 13makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 14makeoptions WERROR="-Werror" 15 16#options SCHED_ULE # ULE scheduler 17options SCHED_4BSD # 4BSD scheduler 18options INET # InterNETworking 19options INET6 # IPv6 communications protocols 20options FFS # Berkeley Fast Filesystem 21options NFSCL # Network Filesystem Client 22options NFSLOCKD # Network Lock Manager 23options NFS_ROOT # NFS usable as /, requires NFSCLIENT 24options BOOTP 25options BOOTP_NFSROOT 26options BOOTP_NFSV3 27options BOOTP_WIRED_TO=mge0 28 29options TMPFS # Efficient memory filesystem 30options GEOM_PART_BSD # BSD partition scheme 31options GEOM_PART_MBR # MBR partition scheme 32options GEOM_PART_GPT 33options ROOTDEVNAME=\"ufs:/dev/da0p1\" 34 35options SYSVSHM # SYSV-style shared memory 36options SYSVMSG # SYSV-style message queues 37options SYSVSEM # SYSV-style semaphores 38options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions 39options MUTEX_NOINLINE 40options RWLOCK_NOINLINE 41options NO_FFS_SNAPSHOT 42options NO_SWAPPING 43options VFP 44 45options SMP 46 47# Debugging 48#options VERBOSE_SYSINIT 49options ALT_BREAK_TO_DEBUGGER 50options DDB 51options GDB 52#options DIAGNOSTIC 53#options INVARIANTS # Enable calls of extra sanity checking 54#options INVARIANT_SUPPORT # Extra sanity checks of internal structures, required by INVARIANTS 55options KDB 56options KDB_TRACE 57#options KTR 58#options KTR_VERBOSE=0 59#options KTR_ENTRIES=16384 60#options KTR_MASK=(KTR_SPARE2) 61#options KTR_COMPILE=KTR_ALL 62#options WITNESS # Enable checks to detect deadlocks and cycles 63#options WITNESS_SKIPSPIN # Don't run witness on spinlocks for speed 64#options WITNESS_KDB 65 66# Pseudo devices 67device random 68device pty 69device loop 70device md 71 72# USB 73options USB_DEBUG # enable debug msgs 74device usb 75device ehci 76device umass 77device scbus 78device pass 79device da 80 81# SATA 82device mvs 83 84# Serial ports 85device uart 86 87# I2C (TWSI) 88device iic 89device iicbus 90 91#Network 92device ether 93device mge # Marvell Gigabit Ethernet controller 94device mii 95device e1000phy 96device bpf 97options HZ=1000 98options DEVICE_POLLING 99device vlan 100 101#PCI/PCIE 102device pci 103 104#FDT 105options FDT 106options FDT_DTB_STATIC 107makeoptions FDT_DTS_FILE=db78460.dts 108