[Oberon] Compiler that targets ARM

[Andreas Pirklbauer]

     > http://microbit.org

Seems like a nice way to get started. Just one quick question:

Is it true that one simply needs to drag a .hex file (=code file)
over to the MICROBIT USB drive and the code downloaded
that way just starts running?

(because if that’s the case, the code generator and/or linker just
needs to output the generated ARM Thumb-1 code in THAT format)