xous-core/kernel/src
bunnie 820acfa2e6 make sure that swapper pages are marked as wired once allocated
also improve debug output, it was a little nonsensical previously
(some bit rot on meaning of fields)
2024-11-07 16:10:27 +08:00
..
arch
debug
platform
args.rs
io.rs
irq.rs
macros.rs
main.rs
mem.rs
server.rs
services.rs
swap.rs
syscall.rs
test.rs
utils.rs