Marcel Moolenaar 0797d69c78 Catch up with change to <machine/pte.h>.

2004-08-10 02:08:57 +00:00

..

conf.c

Use __FBSDID rather than rcsid[].

2003-04-03 21:36:33 +00:00

main.c

Catch up with change to <machine/pte.h>.

2004-08-10 02:08:57 +00:00

Makefile

Fix the creation of EFI images that got broken by the import of

2004-07-20 07:01:02 +00:00

version

Pass the HCDP table address to the kernel. If no such table exists,

2002-12-10 20:11:20 +00:00