| DB-78XXX (184193) | DB-78XXX (185090) |
|---|---|
| 1# 2# Custom kernel for Marvell DB-78xx boards. 3# | 1# 2# Custom kernel for Marvell DB-78xx boards. 3# |
| 4# $FreeBSD: head/sys/arm/conf/DB-78XXX 184193 2008-10-23 01:51:55Z marcel $ | 4# $FreeBSD: head/sys/arm/conf/DB-78XXX 185090 2008-11-19 11:47:23Z raj $ |
| 5# 6 7ident DB-88F78XX 8include "../mv/discovery/std.db78xxx" 9 10options SOC_MV_DISCOVERY 11 12#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols --- 28 unchanged lines hidden (view full) --- 41options DIAGNOSTIC 42#options INVARIANTS #Enable calls of extra sanity checking 43#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 44options KDB 45options WITNESS #Enable checks to detect deadlocks and cycles 46options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 47#options WITNESS_KDB 48 | 5# 6 7ident DB-88F78XX 8include "../mv/discovery/std.db78xxx" 9 10options SOC_MV_DISCOVERY 11 12#makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols --- 28 unchanged lines hidden (view full) --- 41options DIAGNOSTIC 42#options INVARIANTS #Enable calls of extra sanity checking 43#options INVARIANT_SUPPORT #Extra sanity checks of internal structures, required by INVARIANTS 44options KDB 45options WITNESS #Enable checks to detect deadlocks and cycles 46options WITNESS_SKIPSPIN #Don't run witness on spinlocks for speed 47#options WITNESS_KDB 48 |
| 49device pci 50 |
|
| 49# Pseudo devices 50device loop 51device md 52device pty 53device random 54 55# Serial ports 56device uart --- 20 unchanged lines hidden --- | 51# Pseudo devices 52device loop 53device md 54device pty 55device random 56 57# Serial ports 58device uart --- 20 unchanged lines hidden --- |