| 14 | } |
| 15 | |
| 16 | uint32_t main(uint32_t, uint8_t*) { |
| 17 | putchar_('H'); |
| 18 | putchar_('e'); |
| 19 | putchar_('l'); |
| 20 | putchar_('l'); |
| 21 | putchar_('o'); |
| 22 | putchar_('W'); |
| 23 | putchar_('o'); |
| 24 | putchar_('r'); |
| 25 | putchar_('l'); |
| 26 | putchar_('d'); |
| 27 | putchar_('!'); |
| 28 | putchar_('\n'); |
| 29 | |
| 30 | return 0; |
| 31 | } |
| 32 | |
| 33 | extern "C" void _start(uint32_t argc, uint8_t* argv) { |
| 34 | main(argc, argv); |