comp.lang.ada
 help / color / mirror / Atom feed
* 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