Alexander ShendiHad a very productive 3-hour meeting at work:
I fiddled around with my smartphone and found the Epoch32 bootloader for #netbsd.
Was entirely worth the time!
Do you (or some other knowledgable person) know, if the format for the *.mmp project files used by the EPOC32 SDK is described somewhere?
Currently I'm using copypasta and trial-and-error.