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
..
arm
i386
ia64
mips
powerpc
softwords
sparc64
dict.c
ficl.c
ficl.h
fileaccess.c
float.c
loader.c
Makefile
math64.c
math64.h
prefix.c
search.c
stack.c
testmain.c
tools.c
unix.c
vm.c
words.c