Hacker GitHub

← All repos

alkhimey/Ada_Kernel_Module_Framework

View on GitHub ↗ ★ 32 Ada

Framework for writing Linux kernel modules in Ada

4 mentions on Hacker News by 2 people: 0 stories, 4 comments · first 2021-07-06 · latest 2022-09-30

Mentions per year 4 mentions · busiest year 2022 (3)
20082026
AllStoriesComments NewestTopOldest
  1. …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…
    comment by kevlar700 · 2022-09-30 · in It's time to halt starting any new projects in C/C++
  2. …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…
    comment by kevlar700 · 2022-09-30 · in Is it time to retire C and C++ for Rust in new programs?
  3. …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…
    comment by kevlar700 · 2022-09-30 · in Is it time to retire C and C++ for Rust in new programs?
  4. 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]…
    comment by onox · 2021-07-06 · in Linux Rust Support