Changeset View
Changeset View
Standalone View
Standalone View
head/sys/arm/conf/RPI-B
| Show All 18 Lines | |||||
| # $FreeBSD$ | # $FreeBSD$ | ||||
| ident RPI-B | ident RPI-B | ||||
| include "std.armv6" | include "std.armv6" | ||||
| include "../broadcom/bcm2835/std.rpi" | include "../broadcom/bcm2835/std.rpi" | ||||
| include "../broadcom/bcm2835/std.bcm2835" | include "../broadcom/bcm2835/std.bcm2835" | ||||
| options ARM_INTRNG | |||||
| options HZ=100 | options HZ=100 | ||||
| options SCHED_4BSD # 4BSD scheduler | options SCHED_4BSD # 4BSD scheduler | ||||
| options PLATFORM | options PLATFORM | ||||
| # Debugging for use in -current | # Debugging for use in -current | ||||
| makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols | makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols | ||||
| options ALT_BREAK_TO_DEBUGGER | options ALT_BREAK_TO_DEBUGGER | ||||
| #options VERBOSE_SYSINIT # Enable verbose sysinit messages | #options VERBOSE_SYSINIT # Enable verbose sysinit messages | ||||
| ▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines | |||||