Sean Cross bf61ce5071 kernel: remove dead code ... This code is commented-out and dead. It gets adjusted with `cargo fmt`, so just remove it. Signed-off-by: Sean Cross <sean@xobs.io>		2024-02-06 10:33:33 +08:00
..
arch	kernel: support riscv32imac-unknown-none-elf	2024-02-06 10:28:33 +08:00
debug	ok, format the kernel now that all in-line assembly has been checked	2024-01-14 19:27:14 +08:00
platform	add production TRNG to cramium target for kernel	2024-01-20 16:16:07 +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	kernel: Split debug shell and uart driver.	2022-11-02 14:30:31 +01:00
irq.rs	ok, format the kernel now that all in-line assembly has been checked	2024-01-14 19:27:14 +08:00
macros.rs	adding license and copyright headers	2021-01-25 14:54:00 +01:00
main.rs	kernel: support riscv32imac-unknown-none-elf	2024-02-06 10:28:33 +08:00
mem.rs	kernel: remove dead code	2024-02-06 10:33:33 +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	kernel: remove dead code	2024-02-06 10:33:33 +08:00
syscall.rs	kernel: remove dead code	2024-02-06 10:33:33 +08:00
test.rs	ok, format the kernel now that all in-line assembly has been checked	2024-01-14 19:27:14 +08:00