Guides/Debug and Test Debug and Test Remote debugging and testing on the target hardware Debugging Debugging Astrobe Oberon programs on the target hardware with GDB and OpenOCD Testing Overview Overview of spec-based automated testing for Astrobe Oberon programs Testing How-to Step-by-step tutorial for automated spec-based testing of Astrobe Oberon programs on hardware Test Spec Grammar Grammar reference for test specification files used by gdbtestengine Debug Data Generation How debug data is extracted from Astrobe listing files and packaged as DWARF sections in an ARM ELF executable