Familiarity with your environment is crucial for productive development and debugging. This page gives a brief overview of useful GDB commands. We still recommend reading the GDB manual, as this is a powerful tool worth knowing how to use.
All of the tools that you need to execute and complete the labs should be installed on department Linux machines.
If you wish to compile and run the tools on your own machine, t any standard Linux development environment should work. Note that we cannot guarantee that these tools will run on your computer, and we cannot support these tools on your own computer.
530 Debugging tips: |
---|
GDB |
See the GDB manual for a full guide to GDB commands. Here are some particularly useful commands for 530, some of which don't typically come up outside of OS development.
Ctrl-c
.eip
,
eflags
, and the segment selectors. $eip
as addr will display the
instructions at the current instruction pointer.hello.c
, you can switch to the hello symbol file using
symbol-file obj/user/hello
.Last updated: 2025-04-16 13:34:53 -0400 [validate xhtml]