Re: Networking Support in VirtualBox

Chris,

On Tue, Jul 25, 2017 at 09:46:52AM -0400, Chris Rothrock wrote:

The run recipe I am using is virtualbox.run. In this recipe there is no indications that the ACPI has any configurable components. These capabilities must be set in another file that this recipe is calling - please tell me where these would be found so that I can adjust the caps on acpi.

The capability configuration is factored out into repos/base/run/platform_drv.inc. You may change the acpi_drv caps in line 133

<start name="acpi_drv" } [platform_drv_priority] { caps="XXX" >

Which Genode branch/version/commit hash are you using? I never experienced a log like yours where one and the same log contents appear three times pasted over each other.