From ac335ef58aa31179e6c5bb740567382320e1dfbf Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Mon, 9 Jul 2018 13:00:40 +0200 Subject: [PATCH] Add Game Boy emulator to sculpt.run --- repos/gems/run/sculpt.run | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 35a7af08b4..d4ce26a027 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -718,6 +718,14 @@ append manual_deploy_config { --> + + } set fd [open [run_dir]/genode/manual_deploy.config w]