peter
c7b37ae485
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
dfr
76491e7ff0
Fill out the firmware interfaces somewhat.
2001-09-29 11:01:24 +00:00
dfr
a05f910019
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
dfr
66e581ea9f
Flesh out EFI support somewhat.
2001-01-29 13:31:19 +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
