2 # GXEMUL "oldtestmips" sample kernel configuration.
14 makeoptions ARCH_FLAGS="-march=mips64 -mabi=64"
16 makeoptions KERNLOADADDR=0xffffffff80100000
18 include "../gxemul/std.gxemul"
20 hints "GXEMUL.hints" #Default places to look for devices.
22 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
24 makeoptions MODULES_OVERRIDE=""
31 options FFS #Berkeley Fast Filesystem
33 # Debugging for use in -current
34 #options DEADLKRES #Enable the deadlock resolver
35 options INVARIANTS #Enable calls of extra sanity checking
36 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
37 #options WITNESS #Enable checks to detect deadlocks and cycles
38 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed
41 # This kernel configuration uses an embedded 8MB memory root file system.
42 # Adjust the following path based on local requirements.
44 options MD_ROOT # MD is a potential root device
45 options MD_ROOT_SIZE=8192
46 #makeoptions MFS_IMAGE=/local/scratch/rnw24/mdroot.img
47 options ROOTDEVNAME=\"ufs:md0\"