From 88c6aef3299b7697de9a97ece63bc1b19b7c35c1 Mon Sep 17 00:00:00 2001 From: nwhitehorn Date: Mon, 12 Jul 2010 00:49:22 +0000 Subject: 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. --- sys/boot/ofw/libofw/libofw.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'sys/boot/ofw/libofw/libofw.h') diff --git a/sys/boot/ofw/libofw/libofw.h b/sys/boot/ofw/libofw/libofw.h index 748233e..5f6d7ad 100644 --- a/sys/boot/ofw/libofw/libofw.h +++ b/sys/boot/ofw/libofw/libofw.h @@ -62,6 +62,9 @@ int ofw_elf_loadfile(char *, vm_offset_t, struct preloaded_file **); int ofw_elf_exec(struct preloaded_file *); extern struct file_format ofw_elf; +#ifdef __powerpc__ +extern struct file_format ofw_elf64; +#endif extern void reboot(void); -- cgit v1.1