4 ms·
> We build on top of seL4 for these reasons (among others). Who's we? I too am down with OTP, especially OTP on seL4. ;- )
by microcolonel 8y ago
> We build on top of seL4 for these reasons (among others).
Who's we? I too am down with OTP, especially OTP on seL4. ;- )
- shakna 8y agoI believe they're PolySync [0], and I believe they might be referencing "fel4" a Rust-atop seL4 [1] that they've developed which is very cool stuff. [0] https://polysync.io/ https://polysync.io/ [1] https://github.com/PolySync/libsel4-sys https://github.com/PolySync/libsel4-sys
- im_down_w_otp 8y agoFormally of, yes. Now some folks are doing all new things.
- sansnomme 8y agoCan you elaborate?
- im_down_w_otp 8y agohttps://www.auxon.io https://www.auxon.io
- sansnomme 8y agoSite is just a contact form.
- bobertlo 8y agoWell thanks, I don't know what I was expecting when I clicked the link anyways.
- im_down_w_otp 8y agoIndeed. We haven't invested in expanding our public-facing presence yet. 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.