Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ident RPI-B
- include "../broadcom/bcm2835/std.rpi"
- makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
- options HZ=100
- options SCHED_4BSD #4BSD scheduler
- options INET #InterNETworking
- options INET6 #IPv6 communications protocols
- options SCTP #Stream Control Transmission Protocol
- options FFS #Berkeley Fast Filesystem
- options SOFTUPDATES #Enable FFS soft updates support
- options UFS_ACL #Support for access control lists
- options UFS_DIRHASH #Improve performance on big directories
- options PSEUDOFS #Pseudo-filesystem framework
- options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!]
- options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI
- options KTRACE #ktrace(1) support
- options SYSVSHM #SYSV-style shared memory
- options SYSVMSG #SYSV-style message queues
- options SYSVSEM #SYSV-style semaphores
- options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
- options KBD_INSTALL_CDEV # install a CDEV entry in /dev
- options PREEMPTION
- device bpf
- device loop
- device ether
- device uart
- device pl011
- device pty
- # Comment following lines for boot console on serial port
- device sc
- device kbdmux
- options SC_DFLT_FONT # compile font in
- makeoptions SC_DFLT_FONT=cp437
- device ukbd
- device sdhci
- device mmc
- device mmcsd
- device gpio
- device gpioled
- options KDB
- options DDB #Enable the kernel debugger
- options INVARIANTS #Enable calls of extra sanity checking
- options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS
- device md
- device random # Entropy device
- # USB support
- device usb
- options USB_DEBUG
- device dwcotg #DWC OTG controller
- # USB storage support
- device scbus
- device da
- device umass
- # USB ethernet support
- device smcphy
- device mii
- device smsc
- # Flattened Device Tree
- options FDT
- # Note: DTB is normally loaded and modified by RPi boot loader, then
- # handed to kernel via U-Boot and ubldr.
- #options FDT_DTB_STATIC
- makeoptions FDT_DTS_FILE=rpi.dts
- options VFP # vfp/neon
Add Comment
Please, Sign In to add comment