RPI-B revision 252473
1# RPI-B -- Custom configuration for the Raspberry Pi 2# 3# For more information on this file, please read the handbook section on 4# Kernel Configuration Files: 5# 6# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html 7# 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 11# latest information. 12# 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 16# in NOTES. 17# 18# $FreeBSD: head/sys/arm/conf/RPI-B 252473 2013-07-01 18:58:59Z tuexen $ 19 20ident RPI-B 21machine arm armv6 22cpu CPU_ARM1176 23 24files "../broadcom/bcm2835/files.bcm2835" 25makeoptions MODULES_OVERRIDE="" 26 27options KERNVIRTADDR=0xc0100000 28makeoptions KERNVIRTADDR=0xc0100000 29options KERNPHYSADDR=0x00100000 30makeoptions KERNPHYSADDR=0x00100000 31options PHYSADDR=0x00000000 32options STARTUP_PAGETABLE_ADDR=0x01000000 33options FREEBSD_BOOT_LOADER 34options LINUX_BOOT_ABI 35 36makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 37options HZ=100 38 39options SCHED_4BSD #4BSD scheduler 40options INET #InterNETworking 41options INET6 #IPv6 communications protocols 42options SCTP #Stream Control Transmission Protocol 43options FFS #Berkeley Fast Filesystem 44options SOFTUPDATES #Enable FFS soft updates support 45options UFS_ACL #Support for access control lists 46options UFS_DIRHASH #Improve performance on big directories 47options MSDOSFS #MSDOS Filesystem 48device snp 49 50options NFSCL #Network Filesystem Client 51 52#options NFS_ROOT #NFS usable as /, requires NFSCLIENT 53#options BOOTP_NFSROOT 54#options BOOTP_COMPAT 55#options BOOTP 56#options BOOTP_NFSV3 57#options BOOTP_WIRED_TO=ue0 58 59options PSEUDOFS #Pseudo-filesystem framework 60options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!] 61options SCSI_DELAY=5000 #Delay (in ms) before probing SCSI 62options KTRACE #ktrace(1) support 63options SYSVSHM #SYSV-style shared memory 64options SYSVMSG #SYSV-style message queues 65options SYSVSEM #SYSV-style semaphores 66options _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions 67options KBD_INSTALL_CDEV # install a CDEV entry in /dev 68#options ROOTDEVNAME=\"ufs:mmcsd0s2\" 69 70options PREEMPTION 71 72device bpf 73device loop 74device ether 75device uart 76device pl011 77 78device pty 79 80# Comment following lines for boot console on serial port 81device sc 82device kbdmux 83options SC_DFLT_FONT # compile font in 84makeoptions SC_DFLT_FONT=cp437 85device ukbd 86 87device sdhci 88device mmc 89device mmcsd 90 91device gpio 92device gpioled 93 94options KDB 95options DDB #Enable the kernel debugger 96options INVARIANTS #Enable calls of extra sanity checking 97options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 98 99device md 100device random # Entropy device 101 102# USB support 103device usb 104options USB_DEBUG 105device dwcotg #DWC OTG controller 106 107# USB storage support 108device scbus 109device da 110device umass 111 112# USB ethernet support 113device smcphy 114device mii 115device smsc 116 117# Flattened Device Tree 118options FDT 119# Note: DTB is normally loaded and modified by RPi boot loader, then 120# handed to kernel via U-Boot and ubldr. 121#options FDT_DTB_STATIC 122makeoptions FDT_DTS_FILE=rpi.dts 123