void mpc8560_boot_linux(){ /* Fixme, will move it to skyeye.conf */ set_bootcmd(); /* just for linux boot, so we need to do some map */ setup_boot_map(); PPC_CPU_State* cpu = get_current_cpu(); cpu->ccsr = 0xE0000; /* Just for boot linux */ }
void mpc8560_boot_linux(){ /* Fixme, will move it to skyeye.conf */ load_initrd(); set_bootcmd(); /* just for linux boot, so we need to do some map */ setup_boot_map(); gCPU.ccsr = 0xE0000; /* Just for boot linux */ }