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 --- |