Pass the hart ID on start_kernel instead

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à <mikisabate@gmail.com>

1 files changed, 1 insertions, 1 deletions

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];