Tools/RTK Tools RTK Tools The complementary tools of Oberon RTK make-elf Build ARM ELF executables with DWARF debug data for Astrobe Oberon programs gen-rdb Generate the debug files from Astrobe compiler output gen-secure Generate NSC veneer binary and NS interface modules for S/NS programs sec-epilogue Insert Secure return epilogues into exported procedures build-clean Delete generated build artefacts along the Astrobe library search path gen-asm Translate inline assembly blocks in Oberon source files gen-lib Create and maintain a program-local framework library for Astrobe Oberon programs merge-defs Merge per-device Oberon definition modules into consolidated SYS.mod and DEV.mod gen-pio-oberon Generate Oberon modules from PIO assembly code for RP2040 and RP2350 microcontrollers make-uf2 Convert Astrobe binaries to UF2 format for Raspberry Pi microcontrollers picoload Load binaries onto Raspberry Pi microcontrollers via picotool gen-bin-res Create binary resource files for embedding binary data in Astrobe Oberon programs