Hi Alex and Christian,

Really really thankful for the advice; apologies for the spoonfeeding as well. Making changes to virtualbox.run, I've managed to boot up TinyLinux on QEMU, but while QEMU says "booting kernel", the terminal reflects:

...
[init -> virtualbox] attempted to write to non-existing port 0xa79+1 . (02)
[init -> virtualbox] attempted to write to non-existing port 0xa79+1 . (05)
[init -> virtualbox] attempted to write to non-existing port 0xa79+1 . (02)
[init -> virtualbox] attempted to write to non-existing port 0xa79+1 . (00)
[init -> virtualbox] VMM: invalid gueststate
[init -> virtualbox] VMM: invalid gueststate
[init -> virtualbox] VMM: invalid gueststate
[init -> virtualbox] VMM: invalid gueststate
...

On Fri, Jul 10, 2015 at 3:23 PM, Alexander Boettcher <alexander.boettcher@...1...> wrote:
Hello,

On 10.07.2015 08:13, Daren Sin wrote:
> [init -> acpi] Could not open ROM session for module "config"
> [init -> acpi] void* abort(): abort called

That it the actual reason, the acpi driver did not find a configuration
xml node. The issue got fixed already on current Genode master branch,
but for now you may apply the following fix [0]. Nevertheless, please
consider the suggestions of Christian Helmuth.

Cheers,

Alex.

[0]
https://github.com/alex-ab/genode/commit/738ad842f546afef16f3eb642ca3ff5c7c36e0cd
>
> What might be the problem?
>
> Thanks!
>
> On Wed, Jul 8, 2015 at 1:23 AM, Martin Stein <martin.stein@...1...>
> wrote:
>
>> Hi Daren,
>>
>> On 08.07.2015 04:51, Daren Sin wrote:
>>> Hi,
>>>
>>> I've found this
>>> page
>> http://genode.org/documentation/release-notes/14.02#VirtualBox_on_top_of_the_NOVA_microhypervisor
>>> and managed to run the /make prepare/ command, but got stuck at the next
>>> one.
>>
>> The 'make prepare' mechanism is outdated. It has been replaced by the
>> prepare_port command in tool/ports. Call the tool without arguments for
>> a short manpage.
>>
>>> I tried doing that, but got a /Error: libc is not
>>> prepared or outdated/ error.
>>
>> The error indicates that the third-party package "libc", which is needed
>> for your scenario, is missing or too old. You can update it by doing
>> './prepare_port libc' in tool/ports. There may be further third-party
>> packages (ports) that need such treatment.
>>
>> Cheers,
>> Martin
>>
>>
>> ------------------------------------------------------------------------------
>> Don't Limit Your Business. Reach for the Cloud.
>> GigeNET's Cloud Solutions provide you with the tools and support that
>> you need to offload your IT needs and focus on growing your business.
>> Configured For All Businesses. Start Your Cloud Today.
>> https://www.gigenetcloud.com/
>> _______________________________________________
>> genode-main mailing list
>> genode-main@...173...ists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/genode-main
>>
>
>
>
>
>
> ------------------------------------------------------------------------------
> Don't Limit Your Business. Reach for the Cloud.
> GigeNET's Cloud Solutions provide you with the tools and support that
> you need to offload your IT needs and focus on growing your business.
> Configured For All Businesses. Start Your Cloud Today.
> https://www.gigenetcloud.com/
>
>
>
> _______________________________________________
> genode-main mailing list
> genode-main@...49....sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>


------------------------------------------------------------------------------
Don't Limit Your Business. Reach for the Cloud.
GigeNET's Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.
https://www.gigenetcloud.com/
_______________________________________________
genode-main mailing list
genode-main@...12...ceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main



--
Thank you!

Regards,
Daren