Looks like a good fit on first look but I'm wondering about the architecture/compiler fit with the rest of pmOS. Especially with the ARM chips being so varied, a more popular language with wide arch support might be a better choice.