From 5fee77b5d7fc5f07b957d1986e4fa68ad589cafe Mon Sep 17 00:00:00 2001
From: Axel Heider <axel.heider@hensoldt-cyber.de>
Date: Tue, 1 Jun 2021 23:10:09 +0200
Subject: [PATCH] trivial: remove superfluous empty line

Signed-off-by: Axel Heider <axel.heider@hensoldt-cyber.de>
---
 src/arch/riscv/kernel/boot.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/arch/riscv/kernel/boot.c b/src/arch/riscv/kernel/boot.c
index 4502dc689..2385ada22 100644
--- a/src/arch/riscv/kernel/boot.c
+++ b/src/arch/riscv/kernel/boot.c
@@ -365,7 +365,6 @@ static BOOT_CODE bool_t try_init_kernel(
         return false;
     }
 
-
     /* create the initial thread */
     tcb_t *initial = create_initial_thread(
                          root_cnode_cap,