A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel. - Hongfeng Shen; Arnaud Charlet; Theodore P. Baker (Ada-Europe, 1999)

A Linux kernel module implementation of restricted Ada tasking. - Hongfeng Shen; Theodore P. Baker (IRTAW, 1999)