suicide: honor CONFIG_PRINTING

Change-Id: I19d4ac10558ce2e43226661875c9e758e6ea9e5f
GitOrigin-RevId: 25fff914e44565e6acbbf45c7fcc2f4ba08cfe9e
This commit is contained in:
Sam Leffler 2022-08-26 09:16:04 -07:00
parent 58862a4803
commit fb94ac248a

View File

@ -33,7 +33,9 @@ __attribute__((naked)) void _start() {
}
int main(int a0, int a1, int a2, int a3) {
#if CONFIG_PRINTING
seL4_DebugPutString("Goodbye, cruel world!\n");
#endif
while (1) {
char *p = 0x0;
*p = 'g';