> Sorry, but no. There are things happening here and there, for example pthreads just got merged, but otherwise development is very slow. There are plans to run on RPI4 soon (TM), if that's of any interest, otherwise the general development is low-frequent.
The Pi 4 would be cool. I've always wanted to mess with a unikernel but they either seemed to be dead, barely started, or written in an unusual choice of language.
Anyone else have a unikernel recommendation besides IncludeOS + rpi 4?
https://github.com/includeos/IncludeOS/issues/2183