DB-88F5XXX (184193) | DB-88F5XXX (185090) |
---|---|
1# 2# Custom kernel for Marvell DB-88F5xxx boards. 3# | 1# 2# Custom kernel for Marvell DB-88F5xxx boards. 3# |
4# $FreeBSD: head/sys/arm/conf/DB-88F5XXX 184193 2008-10-23 01:51:55Z marcel $ | 4# $FreeBSD: head/sys/arm/conf/DB-88F5XXX 185090 2008-11-19 11:47:23Z raj $ |
5# 6 7ident DB-88F5XXX 8include "../mv/orion/std.db88f5xxx" 9 10options SOC_MV_ORION 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-88F5XXX 8include "../mv/orion/std.db88f5xxx" 9 10options SOC_MV_ORION 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 md 51device loop 52device pty 53device random 54 55# Serial ports 56device uart --- 22 unchanged lines hidden --- | 51# Pseudo devices 52device md 53device loop 54device pty 55device random 56 57# Serial ports 58device uart --- 22 unchanged lines hidden --- |