@ -228,8 +228,8 @@ We can now use the `gdb` commandline to
3. Manipulate the program counter of the RPi to start execution at our kernel's entry point.
4. Single-step through its execution.
```shell
make gdb
```console
$ make gdb
[...]
>>> target remote :3333 # Connect to OpenOCD, core0
>>> load # Load the kernel into the RPi's DRAM over JTAG.
@ -149,7 +149,7 @@ We just wrote a big inline rust function, `el2_to_el1_transition()`, that is exe
where we do not have a stack yet. We should double-check the generated machine code:
make objdump
$ make objdump
Disassembly of section .text:
@ -84,8 +84,8 @@ additional insights.
We introduce a new `Makefile` target:
make test
$ make test
```
In essence, `make test` will execute `cargo xtest` instead of `cargo xrustc`. The details will be