diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/printk.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/kernel/printk.c b/kernel/printk.c index c0eedd9..51c1a7a 100644 --- a/kernel/printk.c +++ b/kernel/printk.c @@ -19,5 +19,8 @@ void __kernel printk(const char *const message) return; } - sbi_ecall2(DBCN_EXT, DBCN_WRITE, len, (unsigned long)message); + struct sbi_ret ret = sbi_ecall2(DBCN_EXT, DBCN_WRITE, len, (unsigned long)message); + if (ret.error != SBI_SUCCESS) { + die(nullptr); + } } |