22 lines
333 B
C
22 lines
333 B
C
#include <stddef.h>
|
|
#include <shell.h>
|
|
#include <uart.h>
|
|
|
|
extern byte_t __kernel[];
|
|
byte_t *kernel = __kernel;
|
|
|
|
void main()
|
|
{
|
|
uart_init();
|
|
|
|
uart_getc();
|
|
uart_puts("loaded addr: ");
|
|
uart_hex((unsigned int)(unsigned long)main);
|
|
uart_puts(ENDL);
|
|
|
|
int shell_cont = 1;
|
|
while (shell_cont) {
|
|
shell_cont = shell();
|
|
}
|
|
}
|