static void boot_sequence() { if(test_user_abort()) { serialboot(1); printf("E: No boot medium found\n"); } }
static void boot_sequence() { splash_display(); if(test_user_abort()) { serialboot(1); netboot(); if(brd_desc->memory_card != MEMCARD_NONE) { if(CSR_GPIO_IN & GPIO_DIP1) cardboot(1); else cardboot(0); } printf("E: No boot medium found\n"); } }