Sean Cross
08b787a03e
kernel: debug: fix remaining clippy lints
...
Signed-off-by: Sean Cross <sean@xobs.io>
2021-08-06 11:34:30 +08:00
Sean Cross
2cd42edc22
kernel: use target_os = "none" instead of baremetal
...
This is more portable, and plays nicer with `rust-analyzer`.
Signed-off-by: Sean Cross <sean@xobs.io>
2021-07-26 15:32:59 +08:00
Sean Cross
e4d02301ee
kernel: support pluggable debug printing
...
This allows us to support different printers in the kernel. For example,
this can be used to swap out the println!() function to print to GDB
when a debugger is attached.
Signed-off-by: Sean Cross <sean@xobs.io>
2021-06-23 17:51:59 +08:00
Sean Cross
86dd38f7fa
kernel: fix hosted build
...
Signed-off-by: Sean Cross <sean@xobs.io>
2021-06-21 14:24:16 +08:00
Sean Cross
0332959068
kernel: debug: add gdb_server support
...
Signed-off-by: Sean Cross <sean@xobs.io>
2021-06-21 14:12:42 +08:00