genode/ports/mk
Christian Prochaska beed82bb56 Enable Noux for x86_64
Fixes #199.
2012-05-09 20:56:18 +02:00
..
noux.mk Enable Noux for x86_64 2012-05-09 20:56:18 +02:00