| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
Here are some tools that you might find useful while developing code.
If you feel more comfortable using a GUI for debugging, you can use any GDB frontend that supports remote sessions, for example Eclipse. Eclipse is already installed in the provided virtual machine image with the necessary plugins. For detailed information on how to configure eclipse to build and debug pintos, please look at these instructions. The only minor difference is that in your case the path to the gdb-macros file is in /home/pintos/pintos/src/misc/gdb-macros instead of the /usr/share path in the instructions above.
It's crucial that you use a source code control system to manage your Pintos code. This will allow you to keep track of your changes and coordinate changes made by different people in the project. For this class we recommend that you use Git; if you followed the instructions on getting started, a Git repository will already have been created for you. If you don't already know how to use Git, we recommend that you read the Pro Git book online.
| [ << ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |