};
extern struct loader_info loader_info;
-void start(void *sp);
+void start(void);
int ft_init(void *dt_blob, unsigned int max_size, unsigned int max_find_device);
int serial_console_init(void);
int ns16550_console_init(void *devp, struct serial_console_data *scdp);
platform_ops.exit();
for(;;);
}
+#define fatal(args...) { printf(args); exit(); }
+
#define BSS_STACK(size) \
static char _bss_stack[size]; \