CONTRIBUTING.md

Contributing

Contributions are absolutely, positively welcome and encouraged!

• Debugging the Aero kernel
  • Prerequisites
  • Debugging using GDB
  • Debugging using LLDB

Debugging the Aero kernel

Prerequisites

• Debugger
  • LLDB (recommended)
  • GDB

To debug the Aero kernel run:

$ cargo run -- -s -S

Passing the -s flag to qemu will set up qemu to listen to at port 1234 for a GDB client to connect to it.

Using GDB

If you are using GDB use the following commands to start debugging:

$ gdb
(gdb) target remote localhost:1234
(gdb)

Using LLDB

If you are using LLDB use the following commands to start debugging:

$ lldb
(lldb) gdb-remote localhost:1234
(lldb)

Check out the docs for your debugger for information about how to use the debugger.