genode/repos/ports/lib/mk/spec/pistachio
2016-07-06 13:02:54 +02:00
..
virtualbox-hwaccl.mk hw_x86: enable building virtualbox 2016-07-06 13:02:54 +02:00