diff options
author | Oleksandr Tymoshenko <gonzo@FreeBSD.org> | 2012-08-30 20:59:37 +0000 |
---|---|---|
committer | Oleksandr Tymoshenko <gonzo@FreeBSD.org> | 2012-08-30 20:59:37 +0000 |
commit | 1b1a53cf46af3e261d0e6c08a4c026cf777851d3 (patch) | |
tree | f265bd8cb2a150cd9c5b1cf1a3b09b85aeccef3b /sys/arm/conf | |
parent | f70f23cc3e76477e7bf1fb8c2c81249c2163b680 (diff) | |
download | src-1b1a53cf46af3e261d0e6c08a4c026cf777851d3.tar.gz src-1b1a53cf46af3e261d0e6c08a4c026cf777851d3.zip |
Add barebone Raspberry Pi port. Supported parts:
- Interrupts controller
- Watchdog
- System timer
- Framebuffer (hardcoded resolution/bpp)
Notes
Notes:
svn path=/head/; revision=239922
Diffstat (limited to 'sys/arm/conf')
-rw-r--r-- | sys/arm/conf/RPI-B | 101 |
1 files changed, 101 insertions, 0 deletions
diff --git a/sys/arm/conf/RPI-B b/sys/arm/conf/RPI-B new file mode 100644 index 000000000000..6c4bce7e150f --- /dev/null +++ b/sys/arm/conf/RPI-B @@ -0,0 +1,101 @@ +# RPI-B -- Custom configuration for the Raspberry Pi +# +# For more information on this file, please read the handbook section on +# Kernel Configuration Files: +# +# http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html +# +# The handbook is also available locally in /usr/share/doc/handbook +# if you've installed the doc distribution, otherwise always see the +# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the +# latest information. +# +# An exhaustive list of options and more detailed explanations of the +# device lines is also present in the ../../conf/NOTES and NOTES files. +# If you are in doubt as to the purpose or necessity of a line, check first +# in NOTES. +# +# $FreeBSD$ + +ident RPI-B +machine arm armv6 +cpu CPU_ARM11 + +files "../broadcom/bcm2835/files.bcm2835" +makeoptions MODULES_OVERRIDE="" + +options KERNVIRTADDR=0xc0100000 +makeoptions KERNVIRTADDR=0xc0100000 +options KERNPHYSADDR=0x00100000 +makeoptions KERNPHYSADDR=0x00100000 +options PHYSADDR=0x00000000 +options STARTUP_PAGETABLE_ADDR=0x01000000 + +makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols +options HZ=100 + +options SCHED_4BSD #4BSD scheduler +options INET #InterNETworking +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 +device snp + +# options NFSCL #Network Filesystem Client +# options NFS_ROOT #NFS usable as /, requires NFSCLIENT +# options BOOTP_NFSROOT +# options BOOTP_COMPAT +# options BOOTP +# options BOOTP_NFSV3 +# options BOOTP_WIRED_TO=ue0 + +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 + +# NOTE: serial console will be disabled if syscons enabled +# Uncomment following lines for framebuffer/syscons support +# device sc +# device kbdmux +# options SC_DFLT_FONT # compile font in +# makeoptions SC_DFLT_FONT=cp437 + +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 + +# Not yet: USB support +# device usb +# options USB_DEBUG + + +# Not yet: USB Ethernet support, requires miibus +# device mii +# device smc +# device smcphy + +# Flattened Device Tree +options FDT +options FDT_DTB_STATIC +makeoptions FDT_DTS_FILE=bcm2835-rpi-b.dts |