From 22a681a07ab09922435ad0a9f665290a30f6b85b Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Wed, 4 Dec 2024 17:23:57 +0100 Subject: Pass the hart ID on start_kernel instead MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Instead of storing the hard ID as given by the bootloader into a C variable, pass it directly into the 'start_kernel' function since we don't need to tamper the value as originally laid out on the 'a0' register. Signed-off-by: Miquel Sabaté Solà --- kernel/printk.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/printk.c') diff --git a/kernel/printk.c b/kernel/printk.c index 1cc68db..b67eea7 100644 --- a/kernel/printk.c +++ b/kernel/printk.c @@ -13,7 +13,7 @@ __kernel __noreturn void die(const char *const message) ; } -__kernel void print_digit(uint32_t digit) +__kernel void print_digit(uint64_t digit) { char buffer[2]; -- cgit v1.2.3