Rich_Morin
Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack
I’ve been watching some videos on Kry10 - a robust and secure OS for the IoT. Because Kry10 is based on the seL4 microkernel, it has a performant, secure, verified, capability-based foundation. And, because it is also based on the Elixir stack, it has the convenience and robust behavior we know and love.
This seems like something other folks here might be interested in, so here are some links…
Most Liked
Rich_Morin
waiting for this for years now, anyone know when it will be available?
It appears that they are still concentrating on getting paying customers into their Beta program. However, their web site does offer a way to get on their mailing list…
There are some other options for embedded Elixir right now:
Thanks; I expanded your references a bit:
Some of these offerings are based on Linux; others are not. So, porting Linux apps may be a challenge in some cases…
-r
D4no0
Cell phones are a different topic, I don’t think you will be able to use them anytime soon without any big improvements in this domain.
While you have access to the hardware, software is a very different issue, the way OSes like android work is the fact that the device’s “drivers” are located in a binary blob, fully developed and maintained by manufacturers. Of course you can run your software directly on top of android, however you need to root the device and tweak a lot of things to make it stable and usable.
hst337
Great project, I’ve just watched the last of these videos and I am really looking forward to tinkering with it. Didn’t know that Scenic was initially built for this project
Popular in Discussions
Other popular topics
Latest on Elixir Forum
Sponsor Spotlight
Practical resources that improve the lives of professional developers.
Categories:
Sub Categories:
Forums
Popular Tags
- #ecto
- #liveview
- #troubleshooting
- #learning-elixir
- #deployment
- #library
- #erlang
- #testing
- #genserver
- #mix
- #absinthe
- #remote-other
- #otp
- #plug
- #how-to-question
- #macros
- #postgres
- #channels
- #elixirconf
- #exunit
- #discussion
- #code-sync
- #javascript
- #podcasts
- #onsite
- #dialyzer
- #docker
- #authentication
- #umbrella
- #full-time-contract
- #podcasts-by-brainlid
- #ecto-query
- #elixir-ls
- #phoenix_html
- #iex
- #blog-post
- #graphql
- #genstage
- #ai
- #websockets
- #supervisor
- #advent-of-code
- #elixirconf-us
- #distillery
- #processes
- #forms
- #api
- #metaprogramming
- #security
- #performance
Our Sponsors
Build Elixir applications with speed and confidence.
Supporting innovation across the BEAM ecosystem.
We build reliable cloud platforms for business-critical systems.
Catch errors, track performance, monitor hosts and more.
Error tracking for Elixir devs who love to ship. Start your free account.
Practical resources that improve the lives of professional developers.
Develop your skills with books, videos, and courses.
Producing high quality Elixir screencasts since 2017.
The team behind Membrane, Popcorn, LiveDebugger. Available for hire.
Courses that'll move you from confusion to "Aha, now I get it!"