379663d70b
required for the ABI the kernel is being built for.
XXX This is implemented in a kind-of nasty way that involves including source
files, but it's still an improvement.
o) Retire ISA_* options since they're unused and were always wrong.
7 lines
92 B
Plaintext
7 lines
92 B
Plaintext
# $FreeBSD$
|
|
# Standard include file for IDT
|
|
|
|
files "../idt/files.idt"
|
|
|
|
machine mips mipsel
|