* Linux device drivers in Ada?
@ 2009-01-13 12:38 Brian Drummond
2009-01-13 13:21 ` Jacob Sparre Andersen
2009-01-13 17:43 ` Dirk Heinrichs
0 siblings, 2 replies; 4+ messages in thread
From: Brian Drummond @ 2009-01-13 12:38 UTC (permalink / raw)
Possibly a long shot, but does anyone know of any example Linux device
drivers written in Ada? Is it even possible for Linux?
I'm not looking for anything specific, rather for a starting point.
I need to write a device driver for an FPGA card on the PCIe bus, and
I'd rather not use C if at all possible.
- Brian
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Linux device drivers in Ada?
2009-01-13 12:38 Linux device drivers in Ada? Brian Drummond
@ 2009-01-13 13:21 ` Jacob Sparre Andersen
2009-01-13 17:43 ` Dirk Heinrichs
1 sibling, 0 replies; 4+ messages in thread
From: Jacob Sparre Andersen @ 2009-01-13 13:21 UTC (permalink / raw)
Brian Drummond wrote:
> Possibly a long shot, but does anyone know of any example Linux device
> drivers written in Ada? Is it even possible for Linux?
It is definitely possible. The primitive way to do it is to compile
it using GNAT and Pragma (No_Runtime). I think I've read a
description of a more elegant solution. You might also want to take a
look at RTL-GNAT (see <http://rtportal.upv.es/apps/rtl-gnat/>).
Greetings,
Jacob
--
A: Yes.
>Q: Are you sure?
>>A: Because it reverses the logical flow of conversation.
>>>Q: Why is top posting frowned upon?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Linux device drivers in Ada?
2009-01-13 12:38 Linux device drivers in Ada? Brian Drummond
2009-01-13 13:21 ` Jacob Sparre Andersen
@ 2009-01-13 17:43 ` Dirk Heinrichs
2009-01-14 1:36 ` Brian Drummond
1 sibling, 1 reply; 4+ messages in thread
From: Dirk Heinrichs @ 2009-01-13 17:43 UTC (permalink / raw)
Brian Drummond wrote:
> Possibly a long shot, but does anyone know of any example Linux device
> drivers written in Ada? Is it even possible for Linux?
>
> I'm not looking for anything specific, rather for a starting point.
> I need to write a device driver for an FPGA card on the PCIe bus, and
> I'd rather not use C if at all possible.
There is an example in "The Big Online Book of Linux Ada Programming" [1].
Lookup chapter 16.16 "Writing Linux Modules".
HTH...
Dirk
[1]: http://www.pegasoft.ca/resources/boblap/book.html
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Linux device drivers in Ada?
2009-01-13 17:43 ` Dirk Heinrichs
@ 2009-01-14 1:36 ` Brian Drummond
0 siblings, 0 replies; 4+ messages in thread
From: Brian Drummond @ 2009-01-14 1:36 UTC (permalink / raw)
On Tue, 13 Jan 2009 18:43:51 +0100, Dirk Heinrichs
<dirk.heinrichs@online.de> wrote:
>Brian Drummond wrote:
>
>> Possibly a long shot, but does anyone know of any example Linux device
>> drivers written in Ada? Is it even possible for Linux?
>>
>> I'm not looking for anything specific, rather for a starting point.
>> I need to write a device driver for an FPGA card on the PCIe bus, and
>> I'd rather not use C if at all possible.
>
>There is an example in "The Big Online Book of Linux Ada Programming" [1].
>Lookup chapter 16.16 "Writing Linux Modules".
>
>HTH...
>
> Dirk
>[1]: http://www.pegasoft.ca/resources/boblap/book.html
Thanks! This looks very useful.
Thanks also to Jacob; RTLGnat may not help with the driver per se, but
certainly will with handling modules.
- Brian
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2009-01-14 1:36 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-13 12:38 Linux device drivers in Ada? Brian Drummond
2009-01-13 13:21 ` Jacob Sparre Andersen
2009-01-13 17:43 ` Dirk Heinrichs
2009-01-14 1:36 ` Brian Drummond
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox