John Baldwin
6c519e3898
Sync up syscons options from options.i386.
2002-07-15 18:43:09 +00:00
Nick Hibma
d8dbc77c56
Make the speed used by gdb over serial settable in the kernel configuration.
...
This facilitates the use in circumstances where you are using a serial
console as well. GDB doesn't support anything higher than 9600 baud (19k2
if you are lucky), but the console does.
2002-06-18 21:30:37 +00:00
Peter Wemm
421f855923
Allow a kernel to be compiled with both SKI and acpica and still
...
work on real hardware. (SKI used to break the sapic probes)
2002-04-14 04:33:41 +00:00
Doug Rabson
989db74d57
Add IA32 option for emulation of i386 binaries on the ia64 platform.
2002-04-10 19:35:50 +00:00
Doug Rabson
9d3b72ece5
Add various file relating to firmware interfaces and make SKI support
...
optional.
2001-09-29 11:46:22 +00:00
Doug Rabson
0038106f4d
Add CONSPEED option.
2001-09-22 19:53:36 +00:00
Doug Rabson
d452f533f7
Add options to select between 4k, 8k and 16k page sizes on ia64. The
...
default is now 8k.
2001-09-07 11:03:39 +00:00
Peter Wemm
b2c17e333e
Add a cosmetic comment.
2001-08-02 23:54:23 +00:00
Kazutaka YOKOTA
2fe5e0b184
Use #ifdef DEV_SPLASH (from opt_splash.h) rather than
...
#if NSPLASH > 0 (from splash.h) to test the presence
of the splash driver.
2001-08-02 13:22:33 +00:00
John Baldwin
39c451331e
Allow the size of the SSC memory disk used with the SKI emulator to be
...
overridden in the kernel config file via the SSC_NSECT option.
2001-04-30 21:26:43 +00:00
Doug Rabson
2af41c92e8
Add SKI_ROOT_FILESYSTEM option.
2001-03-09 13:46:03 +00:00
Doug Rabson
1ebcad5720
This is the first snapshot of the FreeBSD/ia64 kernel. This kernel will
...
not work on any real hardware (or fully work on any simulator). Much more
needs to happen before this is actually functional but its nice to see
the FreeBSD copyright message appear in the ia64 simulator.
2000-09-29 13:46:07 +00:00
