1# $FreeBSD: head/sys/mips/conf/IDT 178372 2008-04-21 10:09:55Z phk $
| 1# $FreeBSD: head/sys/mips/conf/IDT 182738 2008-09-03 18:49:54Z obrien $
|
2
3machine mips
4cpu CPU_MIPS4KC
5ident RB532
6
7# Don't build any modules yet.
8makeoptions MODULES_OVERRIDE=""
9
| 2
3machine mips
4cpu CPU_MIPS4KC
5ident RB532
6
7# Don't build any modules yet.
8makeoptions MODULES_OVERRIDE=""
9
|
10include "../mips32/idt/std.idt"
| 10include "../idt/std.idt"
|
11hints "IDT.hints" #Default places to look for devices.
12
13makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14
15options DDB
16options KDB
17
18options SCHED_4BSD #4BSD scheduler
--- 33 unchanged lines hidden --- | 11hints "IDT.hints" #Default places to look for devices.
12
13makeoptions DEBUG=-g #Build kernel with gdb(1) debug symbols
14
15options DDB
16options KDB
17
18options SCHED_4BSD #4BSD scheduler
--- 33 unchanged lines hidden --- |