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 282499 2015-05-05 16:09:25Z ian $
| 4# $FreeBSD: head/sys/arm/conf/DB-78XXX 282576 2015-05-07 12:38:23Z andrew $
|
5#
6
7ident DB-88F78XX
| 5#
6
7ident DB-88F78XX
|
8include "std.arm"
9include "../mv/discovery/std.db78xxx"
| 8include "std.arm"
9include "../mv/discovery/std.db78xxx"
|
10
11options SOC_MV_DISCOVERY
12
13#makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
14makeoptions WERROR="-Werror"
15
16options SCHED_4BSD # 4BSD scheduler
17options INET # InterNETworking
--- 78 unchanged lines hidden --- | 10
11options SOC_MV_DISCOVERY
12
13#makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols
14makeoptions WERROR="-Werror"
15
16options SCHED_4BSD # 4BSD scheduler
17options INET # InterNETworking
--- 78 unchanged lines hidden --- |