Stefan Kalkowski
a5d236475a
Unify GPIO driver binary names to 'gpio_drv'
...
Introduce 'gpio' SPEC variable to easily support a corresponding driver within
run scripts.
2013-05-07 13:04:30 +02:00
Stefan Kalkowski
8e9e866161
Unify framebuffer driver binary names ( fix #720 )
...
Introduce 'framebuffer' SPEC variable to distinguish hardware framebuffer
drivers furthermore from the SDL framebuffer driver used by Genode/Linux.
2013-05-07 13:04:30 +02:00
Stefan Kalkowski
88316abca1
Merge panda_a2 and panda SPEC ( fix #505 , fix #506 )
...
There is no obvious reason for having two different SPEC variables, definitions,
and pathes for the Pandaboard platform. It even lead to problems regarding the
omap4 framebuffer driver (look at issue #505 and #506 ).
2012-11-23 12:20:27 +01:00
Norman Feske
7741de0175
Add usb spec value to panda platform
2012-06-22 11:38:36 +02:00
Norman Feske
b32a17e961
Set omap4 spec value for panda platform
2012-06-22 11:38:35 +02:00
Stefan Kalkowski
94e14ec20b
Fiasco.OC: basic support for pandaboard
2012-05-29 13:55:00 +02:00
