2 # Common kernel config for Freescale QorIQ DPAA development boards like the
3 # P2041RDB, P3041DS and P5020DS.
5 # This is not standalone kernel config. Use it only for including
13 machine powerpc powerpc
14 #makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
15 #makeoptions WERROR="-Werror -Wno-format -Wno-redundant-decls"
16 makeoptions NO_MODULES=yes
19 options MPC85XX #Freescale SoC family
21 options SMP #Symmetric Multi Processing
23 #options SCHED_4BSD #4BSD scheduler
24 options INET #InterNETworking
25 options INET6 #IPv6 communications protocols
26 options FFS #Berkeley Fast Filesystem
27 options NFSCL #New Network Filesystem Client
28 options SOFTUPDATES #Enable FFS soft updates support
29 options PROCFS #Process filesystem (requires PSEUDOFS)
30 options PSEUDOFS #Pseudo-filesystem framework
31 options GEOM_PART_GPT #GUID Partition Tables.
33 options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!]
34 options SYSVSHM #SYSV-style shared memory
35 options SYSVMSG #SYSV-style message queues
36 options SYSVSEM #SYSV-style semaphores
37 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
40 options KDB #Enable the kernel debugger
41 options DDB #Support DDB
44 options ALT_BREAK_TO_DEBUGGER
45 options BREAK_TO_DEBUGGER
47 options INVARIANTS #Enable calls of extra sanity checking
48 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
51 options KTR_COMPILE=0xffffffff
52 options KTR_MASK=KTR_PMAP
53 options KTR_ENTRIES=8192
55 options WITNESS #Enable checks to detect deadlocks and cycles
61 #options MD_ROOT_SIZE=10240
67 options BOOTP_WIRED_TO=dtsec3
76 device miibus # MII bus support
97 device ether # Ethernet support
98 device loop # Network loopback
99 device bpf # Berkeley packet filter
100 device md # Memory "disks"