> We build on top of seL4 for these reasons (among others).
Who's we? I too am down with OTP, especially OTP on seL4. ;- )
Who's we? I too am down with OTP, especially OTP on seL4. ;- )
I was just answering the "Who's we?" question.
Probably the easiest frame to think about what we're doing is building engineering automation products for systems & robotics engineers.
We ultimately want to do for those classes of engineers what things like CAD, FEA, EDA, etc. did previously for mechanical & electrical engineers in terms of managing complexity and amplifying their capabilities.