1 2 3 4 5 6 7 8 9
#include "verstage.h" /** * Stage entry point */ void vboot_main(void) { for(;;); }