mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-19 05:37:54 +00:00
parent
5e5fe7291a
commit
229f01b153
@ -70,7 +70,7 @@
|
||||
<arg value="virtualbox"/>
|
||||
<env key="VBOX_USER_HOME" value="/"/>
|
||||
<env key="VBOX_LOG_DEST" value="file=/dev/log"/>
|
||||
<env key="VBOX_LOG" value=""/>
|
||||
<env key="VBOX_LOG" value="+dbgf+gim"/>
|
||||
<env key="VBOX_LOG_FLAGS" value="thread"/>
|
||||
<env key="VBOX_RELEASE_LOG_DEST" value="file=/dev/log"/>
|
||||
<env key="VBOX_RELEASE_LOG" value=""/>
|
||||
|
Loading…
Reference in New Issue
Block a user