4 ms·
It seems you can already write kernel modules in Ada: https://github.com/alkhimey/Ada_Kernel_Module_Framework https://github.com/alkhimey/Ada_Kernel_Module_Fram
by onox 5y ago
It seems you can already write kernel modules in Ada: https://github.com/alkhimey/Ada_Kernel_Module_Framework https://github.com/alkhimey/Ada_Kernel_Module_Framework. Obviously it comes with a boatload of restrictions [1], so no tasking, RAII, exception propagation, or dynamic allocations.
[1] https://github.com/alkhimey/Ada_Kernel_Module_Framework/blob/master/examples/template/gnat.adc https://github.com/alkhimey/Ada_Kernel_Module_Framework/blob...
- Uther 5y agoYou can already write kernel modules in Rust too. The point is to integrate the Rust language to the Linux infrastructure so you can merge rust drivers to the official code base.