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#
| 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 240572 2012-09-16 19:48:48Z jmg $
| 18# $FreeBSD: head/sys/arm/conf/RPI-B 242061 2012-10-25 04:10:32Z kientzle $
|
19 20ident RPI-B 21machine arm armv6 22cpu CPU_ARM11 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
| 19 20ident RPI-B 21machine arm armv6 22cpu CPU_ARM11 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
|
33 34makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 35options HZ=100 36 37options SCHED_4BSD #4BSD scheduler 38options INET #InterNETworking 39options FFS #Berkeley Fast Filesystem 40options SOFTUPDATES #Enable FFS soft updates support
--- 67 unchanged lines hidden --- | 35 36makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols 37options HZ=100 38 39options SCHED_4BSD #4BSD scheduler 40options INET #InterNETworking 41options FFS #Berkeley Fast Filesystem 42options SOFTUPDATES #Enable FFS soft updates support
--- 67 unchanged lines hidden --- |