diff options
Diffstat (limited to 'src/kernel.zig')
-rw-r--r-- | src/kernel.zig | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/kernel.zig b/src/kernel.zig index 2395fa1..737cd28 100644 --- a/src/kernel.zig +++ b/src/kernel.zig @@ -157,9 +157,8 @@ fn pagedRun() !noreturn { try w.print("Timer : {d} Hz\r\n", .{1 / (@as(f64, process.schedule_interval_millis) / 1000)}); - var plic_dev = try hwinfo.byKind(.plic); - if (try plic_dev.next()) |plic_handle| { - _ = &plic_handle; + var plics = try hwinfo.byKind(.plic); + if (plics.next() != null) { try w.print("PLIC : Disabled\r\n", .{}); } else { try w.print("PLIC : Not present\r\n", .{}); |