Nathan Whitehorn 67167531f0 Provide support in loader for booting 64-bit PowerPC kernels. Like amd64, ... 64-bit PowerPC kernels are loaded by a 32-bit loader, since nearly all powerpc64 firmwares execute in 32-bit mode.		2010-07-12 00:49:22 +00:00
..
devicename.c
elf_freebsd.c
libofw.h	Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,	2010-07-12 00:49:22 +00:00
Makefile	Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,	2010-07-12 00:49:22 +00:00
ofw_console.c	Backout rev 183181. It appears that I should have been using boot-device	2008-09-19 19:49:58 +00:00
ofw_copy.c
ofw_disk.c	(S)LIST_HEAD_INITIALIZER takes a (S)LIST_HEAD as an argument.	2009-12-28 22:56:30 +00:00
ofw_memory.c
ofw_module.c
ofw_net.c	- Make better use of the global chosen, memory and mmu handles instead	2007-06-17 00:17:15 +00:00
ofw_reboot.c
ofw_time.c
openfirm.c	- Make better use of the global chosen, memory and mmu handles instead	2007-06-17 00:17:15 +00:00
openfirm.h	- Make better use of the global chosen, memory and mmu handles instead	2007-06-17 00:17:15 +00:00
ppc64_elf_freebsd.c	Provide support in loader for booting 64-bit PowerPC kernels. Like amd64,	2010-07-12 00:49:22 +00:00