Re: 2nd help about handling HW interrupt and apologizes.

[Geert Bosch <geert@gonzo.sun3.iaf.nl>]

Andi Kleen <ak@muc.de> wrote:
   To just get the job done it is probably easier to just write a small
   stub kernel driver in C that communicates with the Ada program running
   in userspace over a device or a netlink socket.

Of course you'll have exactly the same problems when you write these
drivers in C as when you write them in Ada! As you mentioned it is
not safe to use the C run-time library as well. So, yes, you should
write your code using a very limited subset of the language and you'll
have to know what kind of code your compiler generates.

For example when using GNAT it is possible to get almost identical
code as when using the GNU C compiler if you just limit yourself to
what would be possible in C. It is easy to do this experiment yourself
and look at the generated code; this is something you should do in
any case when writing code like system kernel modules. 

Regards,
   Geert