Ada and linux real time

[slos <new.stephane.los@gmail.com>]

Hello there,

I am running Debian Sid and have installed the linux real time kernel
available through synaptic :
linux-image-3.2.0-2-rt-amd64
Linux 3.2 for 64-bit PCs, PREEMPT_RT

I am learning Ada from good books but none is talking about running
real time Ada programs on that platform although it seems to me an
obvious choice, Mister Brenta doing a nice job here putting every
needed Ada things together.

But what about the gnat runtime stuff ? Is it sufficient to use that
RT kernel in order to have RT behaviour or is it necessary to obtain a
specific runtime from Adacore ?

I have tried some code on both RT and non RT kernels but was not
impressed by the difference.

I am trying to write some GPLed application so don't expect to sell me
anything.

Thank you for your kind support.
BR
Stéphane