1 # MALTA -- Kernel config for MALTA boards
3 # For more information on this file, please read the handbook section on
4 # Kernel Configuration Files:
6 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8 # The handbook is also available locally in /usr/share/doc/handbook
9 # if you've installed the doc distribution, otherwise always see the
10 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
13 # An exhaustive list of options and more detailed explanations of the
14 # device lines is also present in the ../../conf/NOTES and NOTES files.
15 # If you are in doubt as to the purpose or necessity of a line, check first
23 #makeoptions ARCH_FLAGS=-march=mips32
24 makeoptions MIPS_LITTLE_ENDIAN=defined
28 # Don't build any modules yet.
29 makeoptions MODULES_OVERRIDE=""
31 options KERNVIRTADDR=0x80100000
32 options TICK_USE_YAMON_FREQ=defined
33 #options TICK_USE_MALTA_RTC=defined
35 include "../mips32/malta/std.malta"
37 hints "MALTA.hints" #Default places to look for devices.
39 makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
44 options SCHED_4BSD #4BSD scheduler
45 options INET #InterNETworking
46 options NFSCLIENT #Network Filesystem Client
47 options NFS_ROOT #NFS usable as /, requires NFSCLIENT
48 options PSEUDOFS #Pseudo-filesystem framework
49 options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
51 options FFS #Berkeley Fast Filesystem
52 options SOFTUPDATES #Enable FFS soft updates support
53 options UFS_ACL #Support for access control lists
54 options UFS_DIRHASH #Improve performance on big directories
55 options ROOTDEVNAME=\"ufs:ad0s1a\"
58 # Debugging for use in -current
59 options INVARIANTS #Enable calls of extra sanity checking
60 options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
61 #options WITNESS #Enable checks to detect deadlocks and cycles
62 #options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed