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 add option to dump kernel pages in panic dumps 2024-11-07 16:09:49 +08:00
debug update formatting on the published crates 2024-09-23 01:43:02 +08:00
platform update formatting on the published crates 2024-09-23 01:43:02 +08:00
args.rs ok, format the kernel now that all in-line assembly has been checked 2024-01-14 19:27:14 +08:00
io.rs allow this trait to be unused 2024-05-10 00:38:41 +08:00
irq.rs upgrade irq path to handle the new API 2024-03-23 11:59:31 +08:00
macros.rs
main.rs move MinSet to utils so that we can test it 2024-05-18 00:22:50 +08:00
mem.rs fix broken code in deep debug option 2024-11-07 16:10:07 +08:00
server.rs ok, format the kernel now that all in-line assembly has been checked 2024-01-14 19:27:14 +08:00
services.rs update formatting on the published crates 2024-09-23 01:43:02 +08:00
swap.rs make sure that swapper pages are marked as wired once allocated 2024-11-07 16:10:27 +08:00
syscall.rs fix the fix :P 2024-06-13 15:56:37 +08:00
test.rs update formatting on the published crates 2024-09-23 01:43:02 +08:00
utils.rs move MinSet to utils so that we can test it 2024-05-18 00:22:50 +08:00