denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

vbox5_genode_usb_hid_raw: configure static RTC

Browse Source 
This prevents

  Warning: clock_gettime(): missing real-time clock

log messages.

Related to #4561
This commit is contained in:
Christian Helmuth
2022-08-10 11:42:55 +02:00
parent 11b964b759
commit eeb40d0cc2
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
repos/ports/run/vbox5_genode_usb_hid_raw.run
View File

@@ -213,12 +213,15 @@ append config {
<resource name="RAM" quantum="448M"/> <resource name="RAM" quantum="448M"/>
<config vbox_file="vm_genode_usb_hid_raw.vbox" vm_name="TestVM" xhci="yes"> <config vbox_file="vm_genode_usb_hid_raw.vbox" vm_name="TestVM" xhci="yes">
<vfs> <vfs>
<dir name="dev"> <log/> <terminal/> </dir> <dir name="dev">
<log/> <terminal/>
<inline name="rtc">2022-08-10 00:01</inline>
</dir>
<dir name="pipe"> <pipe/> </dir> <dir name="pipe"> <pipe/> </dir>
<rom name="vm_genode_usb_hid_raw.vbox" /> <rom name="vm_genode_usb_hid_raw.vbox" />
<rom name="usb_hid_raw.iso" /> <rom name="usb_hid_raw.iso" />
</vfs> </vfs>
<libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe"/> <libc stdout="/dev/log" stderr="/dev/log" pipe="/pipe" rtc="/dev/rtc"/>
</config> </config>
<route> <route>
<service name="Report"><child name="report_rom" /></service> <service name="Report"><child name="report_rom" /></service>