On: L4Linux – Linux running on the L4 microkernel

[nixpulvis]

This might be interesting for my long abandoned drone project...

Undoubtably still want propellor controls + stabalization on dedicated hardware, but everything else.