genode/repos/base-hw/include/spec/x86_64/muen
Reto Buerki 810f59b555 muen: Update sinfo to variant resources API 2018-04-19 12:38:25 +02:00
..
sinfo.h muen: Update sinfo to variant resources API 2018-04-19 12:38:25 +02:00