freebsd-dev/sys/boot/ia64/common
Doug Rabson f19fa0b627 Make this do the right thing (mostly). We should still reserve the pages
that the kernel loads into using the EFI AllocatePages call.
2001-09-14 08:26:00 +00:00
..
copy.c Make this do the right thing (mostly). We should still reserve the pages 2001-09-14 08:26:00 +00:00
devicename.c Reformat. 2001-09-07 08:49:47 +00:00
exec.c First approximation of an ia64 EFI loader. Not functional. 2001-06-09 16:49:51 +00:00