Kry10 - a robust and secure OS for the IoT, based on seL4 and the Elixir stack

waiting for this for years now, anyone know when it will be available?

there are some other options for embedded Elixir right now:

• Nerves*
• running a release on some yocto based system*
• RTEMS (https://www.grisp.org/)
• AtomVM**

*) last-millenia-OS
**) in the making

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:

• AtomVM
• GRiSP
• Nerves
• RTEMS
• Yocto project

Some of these offerings are based on Linux; others are not. So, porting Linux apps may be a challenge in some cases…

-r

Having had a few days to reflect, here are a few opinionated reactions. As usual, YMMV…

The Kry10 folks say that they want Elixir web developers to become IoT engineers. This may happen, but I think the infrastructure may need some love before it’s really going to be widely attractive to these folks. Basically, they will want most of the usual Linux amenities.

Although the IoT use case has a number of peculiarities, it’s basically a “self-contained, networkable processing node”. So, it’s a close relative of cell phones, desktop and laptop computers, smart watches, tablet computers, etc. Clearly, all of these use cases could benefit from a robust and secure OS, but that isn’t all they need.

Specifically, many instances of these (including some IoT devices) need an easy way to drop in vanilla Linux programs. Ideally, these would be Rust crates, such as the upcoming version of the Fish shell.

However, if C/C++ apps are all that are available, that should be a safe and reasonably easy option. One way of accomplishing this would be to run a Linux VM on top of Kry10. The postmarketOS folks use something like this approach:

postmarketOS is based on Alpine Linux, which is so tiny (less than 10 MB in size) that development of pmOS can be done quickly on any Linux distribution. We install Alpine in multiple chroots to cross compile packages, build and flash postmarketOS, run it in a VM with QEMU or interactively port new hardware.

To be clear, I don’t really expect all of this to happen immediately, but this could (for example) allow a supercharged version of postmarketOS to be developed. So, I’m really hoping that things head in that direction (on a pony :-} ).

-r

It would be interesting how VM copes with limited resources nowadays, let’s say 8MB of ram and a 100MHZ CPU, because if that works well, there is a huge potential for elixir to take over IOT world, because process construct is just perfect for IO interaction.

Having said all that, another big problem is the runtime size, now if you make an elixir release, it has 20+ MB, witch is not a problem for things like rpi, however a lot of embedded devices don’t have that much rom.

The typical specs on an “obsolete” cell phone (of which there are billions) are a lot more roomy than the ones you cite. Also, we can expect hardware density to keep increasing for at least a few years, so the capabilities of a “nearly minimal” IoT core can be expected to keep increasing, as well. So, my take is that hardware constraints need not be a gating item for many use cases.

-r

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.

Historically, there seem to be a couple of ways to get an open source OS running on cell phone hardware. One is to adapt Android; the other is to adapt a “generic” version of Linux (e.g., Alpine). The first approach dances around a lot of device driver issues; the second one meets them head on.

Although the postmarketOS folks have made some progress with the second approach, this effort may have been hampered by the fact that most programmers (myself included) aren’t kernel hackers. So, the pool of pmOS driver writers has been pretty limited.

However, if I may be allowed a war story, some years ago I wrote a couple of drivers for SCSI devices, using a friend’s implementation of a generic SCSI API (devscsi, which was actually adopted by SGI). Because I could write the drivers in user mode, the development progressed very quickly.

Given that Kry10’s drivers all run in userland, it wouldn’t surprise me to see similar success stories appear for cell phone drivers. However, there’s no guarantee of this and someone will have to do the heavy lifting to get a basic Kry10 system running on fairly generic cell phone hardware. So, we’ll see…

A few years ago, with the help of the community I was able to fix the build, and run the VM on android arm64 (arm32 was working at the time). I also managed to run a elixir deploy with phoenix liveview on the device, strangely enough it was working out of the box, even osmon was working without any problems.

The problem appeared with the performance, connecting to liveview endpoint from another device in the network was very slow, and this can be related to a lot of things, starting from drivers and ending with their sandbox for applications.

I will definitely experiment with this more in the future, because as you mentioned, there are so many “old” mobile devices with very capable specs and peripherals already attached and they are dirt cheap at this point.

Cool! By way of context, part of my motivation (like that of pmOS) is getting computing and communications capability into the hands of folks who can’t afford to buy a new cell phone. Meanwhile, the “old” ones are gathering dust…

One of the attributes I really like about Kry10 is that it boots in just a few seconds. This is close enough to “instant on” that it should be acceptable as the foundation for (say) a blind person’s “notetaker”, while having very long battery life.

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