Ada_Kernel_Module_Framework

Ada offers security and simplicity and is already part of GCC but also has llvm now. Linux kernel drivers have also been demonstrated. Perhaps it would be healthier for Rust to have competition? https://www.linux.com/audience/developers/hacking-the-linux-... https://github.com/alkhimey/Ada_Kernel_Module_Framework https://alire.ada.dev/ Nvidia also chose Spark; a built in subset of Ada as being more cost effective for secure code than C++. https://youtu.be/2YoPoNx3L5E Assembly is also supported by Ada and I found it far easier to add than with C even. C interface support is also excellent.

Ada offers security and simplicity and is already part of GCC but also has llvm now. Linux kernel drivers have also been demonstrated. Perhaps it would be healthier for Rust to have competition? https://www.linux.com/audience/developers/hacking-the-linux-... https://github.com/alkhimey/Ada_Kernel_Module_Framework https://alire.ada.dev/ Nvidia also chose Spark; a built in subset of Ada as being more cost effective for secure code than C++. https://youtu.be/2YoPoNx3L5E Assembly is also supported by Ada and I found it far easier to add than with C even. C interface support is also excellent.

Ada offers security and simplicity and is already part of GCC but also has llvm now. Linux kernel drivers have also been demonstrated. Perhaps it would be healthier for Rust to have competition? https://www.linux.com/audience/developers/hacking-the-linux-... https://github.com/alkhimey/Ada_Kernel_Module_Framework https://alire.ada.dev/ Nvidia also chose Spark; a built in subset of Ada as being more cost effective for secure code than C++. https://youtu.be/2YoPoNx3L5E Assembly is also supported by Ada and I found it far easier to add than with C even. C interface support is also excellent.

It seems you can already write kernel modules in Ada: 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...