d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
114,639 Commits 72 Branches 135 Tags 3.2 GiB
7f53207b92
Commit Graph

8 Commits

Author SHA1 Message Date
Warner Losh
86cb007f9f /* -> /*- for copyright notices, minor format tweaks as necessary 2005-01-06 22:18:23 +00:00
Marcel Moolenaar
13e6668525 MFp4: 
Completely remove the remaining EFI includes and add our own (type)
definitions instead. While here, abstract more of the internals by
providing interface functions.
 2004-09-19 03:50:46 +00:00
Marcel Moolenaar
9f9ae8ebb7 Provide our own FPSWA definitions, instead of depending on the Intel 
EFI headers and put them all in <machine/fpu.h>. The Intel EFI headers
conflict with the Intel ACPI headers (duplicate type definitions), so
are being phased out in the kernel.
 2004-09-17 22:19:41 +00:00
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