1 files changed, 0 insertions, 38 deletions
diff --git a/src/arch/ppc/boot/boot.c b/src/arch/ppc/boot/boot.c
deleted file mode 100644
index e62c4eb2af..0000000000
--- a/src/arch/ppc/boot/boot.c
+++ /dev/null
@@ -1,38 +0,0 @@
-#include <ip_checksum.h>
-#include <boot/elf.h>
-#include <boot/elf_boot.h>
-#include <string.h>
-#include <console/console.h>
-
-extern void flush_dcache(void);
-
-int elf_check_arch(Elf_ehdr *ehdr)
-{
-	return (
-		(ehdr->e_machine == EM_PPC) &&
-		(ehdr->e_ident[EI_CLASS] == ELFCLASS32) &&
-		(ehdr->e_ident[EI_DATA] == ELFDATA2MSB) 
-		);
-	
-}
-
-void jmp_to_elf_entry(void *entry, unsigned long buffer, unsigned long bounce_size)
-{
-	void (*kernel_entry)(void);       
-
-	kernel_entry = entry;
-
-	/*
-	 * Kernel will invalidate and disable dcache immediately on
-	 * entry. This is bad if we've been using it, which we
-	 * have. Make sure it is flushed to memory.
-	 */
-	flush_dcache();
-
-	/* On ppc we don't currently support loading over coreboot.
-	 * So ignore the buffer.
-	 */
-
-	/* Jump to kernel */
-	kernel_entry();
-}