n_hibma
90312e83bd
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
1d48dd21da
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
dfr
4b0ec653ac
Add IA32 option for emulation of i386 binaries on the ia64 platform.
2002-04-10 19:35:50 +00:00
dfr
0e3b3037ac
Add various file relating to firmware interfaces and make SKI support
...
optional.
2001-09-29 11:46:22 +00:00
dfr
cba438d63f
Add CONSPEED option.
2001-09-22 19:53:36 +00:00
dfr
c981ef049f
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
e91e9ba630
Add a cosmetic comment.
2001-08-02 23:54:23 +00:00
yokota
5ae9960da3
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
jhb
e6e87cacf0
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
dfr
b3080d74b9
Add SKI_ROOT_FILESYSTEM option.
2001-03-09 13:46:03 +00:00
dfr
263f9f6863
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
