From dbb0978ea5589fccd3b5245b6aae7adc386e5b17 Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Fri, 12 Jun 2015 19:10:33 +0200
Subject: [PATCH] vbox: Fix name of 'rem_disas' log group

---
 repos/ports/src/virtualbox/libc.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/src/virtualbox/libc.cc b/repos/ports/src/virtualbox/libc.cc
index 30f22403e..45adc9f34 100644
--- a/repos/ports/src/virtualbox/libc.cc
+++ b/repos/ports/src/virtualbox/libc.cc
@@ -109,7 +109,7 @@ extern "C" char *getenv(const char *name)
 
 	if (Genode::strcmp(name, "VBOX_LOG") == 0 ||
 	    Genode::strcmp(name, "VBOX_RELEASE_LOG") == 0) 
-		return (char *)"+rem_dias.e.l.f"
+		return (char *)"+rem_disas.e.l.f"
 		               "+rem_printf.e.l.f"
 //		               "+rem_run.e.l.f"
 //		               "+pgm.e.l.f"