2 # Custom kernel for Marvell SheevaPlug devices.
8 include "../mv/kirkwood/std.db88f6xxx"
10 options SOC_MV_KIRKWOOD
11 makeoptions MODULES_OVERRIDE=""
13 #makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
14 makeoptions WERROR="-Werror"
16 options SCHED_4BSD # 4BSD scheduler
17 options INET # InterNETworking
18 options INET6 # IPv6 communications protocols
19 options GEOM_PART_BSD # BSD partition scheme
20 options GEOM_PART_MBR # MBR partition scheme
21 options TMPFS # Efficient memory filesystem
22 options FFS # Berkeley Fast Filesystem
23 options NANDFS # NAND Filesystem
24 options NFSCL # New Network Filesystem Client
25 options NFSLOCKD # Network Lock Manager
26 options NFS_ROOT # NFS usable as /, requires NFSCL
30 options BOOTP_WIRED_TO=mge0
32 # Root fs on USB device
33 #options ROOTDEVNAME=\"ufs:/dev/da0a\"
35 options SYSVSHM # SYSV-style shared memory
36 options SYSVMSG # SYSV-style message queues
37 options SYSVSEM # SYSV-style semaphores
38 options _KPOSIX_PRIORITY_SCHEDULING # Posix P1003_1B real-time extensions
39 options MUTEX_NOINLINE
40 options RWLOCK_NOINLINE
41 options NO_FFS_SNAPSHOT
45 options ALT_BREAK_TO_DEBUGGER
58 device mge # Marvell Gigabit Ethernet controller
63 options DEVICE_POLLING
66 device cesa # Marvell security engine
71 options USB_DEBUG # enable debug msgs
82 # Flattened Device Tree
84 options FDT_DTB_STATIC
85 makeoptions FDT_DTS_FILE=sheevaplug.dts