From fb94ac248a6c92f4859afab9f3b655b79c0f7772 Mon Sep 17 00:00:00 2001
From: Sam Leffler <sleffler@google.com>
Date: Fri, 26 Aug 2022 09:16:04 -0700
Subject: [PATCH] suicide: honor CONFIG_PRINTING

Change-Id: I19d4ac10558ce2e43226661875c9e758e6ea9e5f
GitOrigin-RevId: 25fff914e44565e6acbbf45c7fcc2f4ba08cfe9e
---
 apps/c/suicide/suicide.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/apps/c/suicide/suicide.c b/apps/c/suicide/suicide.c
index 0245537..900c7ae 100644
--- a/apps/c/suicide/suicide.c
+++ b/apps/c/suicide/suicide.c
@@ -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';