Я что-то сделал (страницаhttps://wiki.oberon.org/ao/ja-o-s, т.к. название jaos уже занято), хотя не очень понял, что нужно было сделатьЕщё раз почитал пост и сейчас кое-что добавлю.
Без напильника пока не запускается - не хватает атрибутов файла "исполняемый" - видимо, придётся по-другому упаковывать.