After getting it up and running a while back, just wondering: are there any (good) seL4 app devs for hire?

Engineer partner-in-crime is looking to develop apps for a smart device. Physically based in Adelaide.