Connect two devices to vbus

Adam Lackorzynski adam at
Wed Jun 13 23:44:56 CEST 2012

On Wed Jun 13, 2012 at 14:51:54 +0200, Pierre Larus wrote:
> In my project, I have defined two io memory ressources as devices. I want
> connect these two devices to vbus.
> "io_bus.gpt2" is actually connected to vbus. But is it possible to also
> connect "io_bus.intc" to vbus ?

You have to put both devices into the same System_bus in your io config,
then it just one vbus to handle in the start script.

Adam                 adam at

More information about the l4-hackers mailing list