Hi!
I have ported my work on 12212156 OS from IDA to Ghidra, although there's no support for CPU32 tblu commands yet so the disassembly is incomplete, but the C decompiler view is an amazing help with figuring things out.
Have a look a the project here: https://github.com/dzidaV8/12212156_...ng/tree/master