1 # XLPN32 -- Generic kernel configuration file for FreeBSD/mips
3 # For more information on this file, please read the handbook section on
4 # Kernel Configuration Files:
6 # http://www.FreeBSD.org/doc/en_US.ISO8859-1/books/handbook/kernelconfig-config.html
8 # The handbook is also available locally in /usr/share/doc/handbook
9 # if you've installed the doc distribution, otherwise always see the
10 # FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the
13 # An exhaustive list of options and more detailed explanations of the
14 # device lines is also present in the ../../conf/NOTES and NOTES files.
15 # If you are in doubt as to the purpose or necessity of a line, check first
23 makeoptions ARCH_FLAGS="-march=mips64 -mabi=n32"
24 makeoptions KERNLOADADDR=0x80100000
31 nooption BREAK_TO_DEBUGGER
32 nooption ALT_BREAK_TO_DEBUGGER
34 makeoptions TRAMPLOADADDR=0xffffffff85000000
35 makeoptions TRAMP_ARCH_FLAGS="-mabi=64 -march=mips64"