8 Commits

Author	SHA1	Message	Date
imp	8d58b9df12	/* -> /*- for copyright notices, minor format tweaks as necessary	2005-01-06 22:18:23 +00:00
marcel	60944a9fd4	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	b3e38752b1	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	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