mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-03 05:09:39 +00:00
parent
2cdcacf2fc
commit
71e0fa201b
@ -37,6 +37,7 @@
|
||||
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
|
||||
<pthread placement="single-cpu"/>
|
||||
</libc>
|
||||
<monitor label="VBOX-1"/>
|
||||
<webcam vertical_flip="true" fps="30" screen_size="false" width="640" height="480"/>
|
||||
<arg value="virtualbox"/>
|
||||
<env key="VBOX_USER_HOME" value="/"/>
|
||||
|
@ -36,6 +36,7 @@
|
||||
<libc stdout="/dev/log" stderr="/dev/log" rtc="/dev/rtc" pipe="/pipe">
|
||||
<pthread placement="single-cpu"/>
|
||||
</libc>
|
||||
<monitor label="VBOX-1"/>
|
||||
<arg value="virtualbox"/>
|
||||
<env key="VBOX_USER_HOME" value="/"/>
|
||||
<env key="VBOX_LOG_DEST" value="file=/dev/log"/>
|
||||
|
@ -170,6 +170,7 @@ install_config {
|
||||
<rom name="usb_hid_raw.iso"/>
|
||||
</vfs>
|
||||
<libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe" rtc="/dev/rtc"/>
|
||||
<monitor label="VBOX-1"/>
|
||||
<arg value="virtualbox"/>
|
||||
<env key="VBOX_USER_HOME" value="/"/>
|
||||
<env key="VBOX_LOG_DEST" value="file=/dev/log"/>
|
||||
|
@ -253,6 +253,7 @@ append_if [expr $use_overlay] config {
|
||||
</import>}
|
||||
append config {
|
||||
</vfs>
|
||||
<monitor label="VBOX-1"/>
|
||||
<arg value="virtualbox"/>
|
||||
<env key="VBOX_USER_HOME" value="/"/>
|
||||
<env key="VBOX_LOG_DEST" value="file=/dev/log"/>
|
||||
|
Loading…
x
Reference in New Issue
Block a user