For this three part series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board (kernel-based v4.9.294, arm64) in my favorite programming language … Ada! Part 1. Review of a kernel module, build strategy, and Ada integration. […]

Source: LXer – Hacking the Linux Kernel in Ada – Part 1