ex25-user.c (257B)
1 // Copyright 2022, Brian Swetland <swetland@frotz.net> 2 // Licensed under the Apache License, Version 2.0 3 4 #include <hw/debug.h> 5 6 void xputs(const char* s) { 7 while (*s) { 8 xputc(*s++); 9 } 10 } 11 12 void start(void) { 13 xprintf("Hello, User Mode!\n"); 14 exit(42); 15 }