Experimenting with Bats

Posted on Sun 08 July 2018 in Ada Linux Kernel Module View Comments • Tagged with bats, linux, kernel, testing, bash

I had some progress with my Ada Kernel Module Framework. Currently, what I have is a demo of a kernel module opening a character device.

While finishing that part, I realized that a good automatic testing strategy needs to be developed. At current stage, I do not even know which …


Continue reading

Writing Linux Modules in Ada - Part 3

Posted on Fri 25 November 2016 in Ada Linux Kernel Module View Comments • Tagged with ada, linux, kernel, os

In this article I will continue to extend the runtime running in the kernel module. We have not touched the kernel module part itself yet, just laying the infrastructure.
The next step is to implement the Image attribute. This requires some work as this attribute is implemented differently for each basic type it can be used on.


Continue reading

Writing Linux Modules in Ada - Part 2

Posted on Sat 05 November 2016 in Ada Linux Kernel Module View Comments • Tagged with ada, linux, kernel, os

In this article I will focus on implementing the secondary stack of the runtime.
Secondary stack is required if we desire functions to return objects of unconstrained types. This in turn required for the 'Image attribute, which is used extensively in the Interfaces.C package.


Continue reading

Writing Linux Modules in Ada - Part 1

Posted on Sun 23 October 2016 in Ada Linux Kernel Module View Comments • Tagged with ada, linux, kernel, os

In the following series of blog posts I will document my attempts to write Linux modules using the Ada language.
In part 1, I will demonstrate how to write in Ada and build a simple "hello world" Linux kernel module.
Additionally, I will introduce a basic customized Ada runtime to support our "hello world" module. This runtime will be extended in subsequent articles in the series.


Continue reading