Peter Wemm
bc11d59b2a
Initial cut at calling the EFI-provided FPSWA (Floating Point Software
...
Assist) driver to handle the "messy" floating point cases which
cause traps to the kernel for handling.
2001-11-19 07:25:42 +00:00
Doug Rabson
ddead4655a
Fill out the firmware interfaces somewhat.
2001-09-29 11:01:24 +00:00
Doug Rabson
3af0f1028b
Fix a couple of typos which became obvious when I started to actually use
...
this on real hardware.
2001-03-04 23:30:31 +00:00
Doug Rabson
109ba4608b
Flesh out EFI support somewhat.
2001-01-29 13:31:19 +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
