From dd825ef769c107d86b80ede076e90cca3cf303b2 Mon Sep 17 00:00:00 2001 From: Nathan Lee Date: Sun, 30 Aug 2026 20:23:28 -0500 Subject: add support for printk printers in the formatter - todo: add support for size_t (currently, you can just cast to uintptr_t) --- kernel/riscv/kernel.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'kernel/riscv') diff --git a/kernel/riscv/kernel.c b/kernel/riscv/kernel.c index 665d7f4..46de696 100644 --- a/kernel/riscv/kernel.c +++ b/kernel/riscv/kernel.c @@ -49,6 +49,8 @@ struct kernel_info *discover_arch(void *fdt) { kernel_info->mem_start = (void *)base; kernel_info->mem_size = size; + printk("[I] DTB provided memory block addr %p size %p\n", base, (uintptr_t)size); + uint8_t *initrd_reg = dt_get_prop(head, "initrd", &len); if (!initrd_reg || len < sizeof(uintptr_t) + sizeof(size_t)) { @@ -62,6 +64,7 @@ struct kernel_info *discover_arch(void *fdt) { kernel_info->initrd_start = (void *)base; kernel_info->initrd_size = size; + printk("[I] DTB provided init ramdisk addr %p size %p\n", base, (uintptr_t)size); return kernel_info; } -- cgit v1.2.3