IO configuration language

Martin Schröder martin.schroeder at
Tue Jun 24 14:32:54 CEST 2014

Am 23.06.2014 12:49, schrieb Martin Schröder:
> Am 22.06.2014 23:25, schrieb Adam Lackorzynski:
>>> 1) How can I use the device in the example if the hid is not unique?
>>> I even
>>> tried wrap(hw:device(NIC0)) but this does not work eiher.
>> wrap(hw.NIC0) should do it.

I just made the hid string unique by appending a sequential digit, so I 
can use the hw:match("foodevice.x") for now.

>>> 2) How can I set the device name for client0/client1 into "foo.dev0" for
>>> dev0 as in the (old) example above? dev0.set_name("foo.dev0"); seems
>>> not to
>>> be the right one.
>> I don't think this is easily possible with the new syntax. Do you need
>> that type of name?


Just double checked with the old style syntax: l4linux depends on that 
type of name in the platform_device_callbacks.


More information about the l4-hackers mailing list