Running demo on Virtualbox

Discussion:

Paulo

2016-02-04 15:04:24 UTC

Hi all,

I'm trying to get the genode demo to run on Virtualbox, from a windows
server 2012 box.
I've been to the (awesome) Sunday talk at FOSDEM and the prospect of
getting genode running on my personal laptop is really exciting, but I'd
like to try it on a VM first. I realise genode is "focused on extending the
community of users" on 2016, which is great news for me.

I've managed to make run/demo, but it halts after a few "Quota exceeded!",
and can't even run the config module.
I realize I must be missing some quite basic detail, but I've been looking
for answers on the Genode Foundations book, on the website and on Google,
and so far I'm still feeling a bit lost.

make run/demo (cropped) output:
spawn ./core
Genode 15.11-106-g2a698ff
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 17592186044415 MB to init
int main(): --- init created, waiting for exit condition ---
[init] Could not open ROM session for module "ld.lib.so"
Quota exceeded! amount=24576, size=4096, consumed=24576
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=32768, size=4096, consumed=32768
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=40960, size=4096, consumed=40960
[init] upgrading quota donation for Env::CPU (8192 bytes)
[init -> fb_sdl] Could not open ROM session for module "config"
[init -> fb_sdl] Could not obtain config file

Can anyone shed some light or point me to the right part of the
documentation?

Also, I can't seem to find instructions for building an ISO. Is that
possible?

Thanks,
/Paulo

Sebastian Sumpf

2016-02-06 08:34:21 UTC

Permalink

Hi Paulo,

Post by Paulo
Hi all,
I'm trying to get the genode demo to run on Virtualbox, from a windows
server 2012 box.
I've been to the (awesome) Sunday talk at FOSDEM and the prospect of
getting genode running on my personal laptop is really exciting, but I'd
like to try it on a VM first. I realise genode is "focused on extending
the community of users" on 2016, which is great news for me.

Yes and thanks.

Post by Paulo
I've managed to make run/demo, but it halts after a few "Quota
exceeded!", and can't even run the config module.
I realize I must be missing some quite basic detail, but I've been
looking for answers on the Genode Foundations book, on the website and
on Google, and so far I'm still feeling a bit lost.
spawn ./core
Genode 15.11-106-g2a698ff
int main(): --- create local services ---
int main(): --- start init ---
int main(): transferred 17592186044415 MB to init
int main(): --- init created, waiting for exit condition ---

h> [init] Could not open ROM session for module "ld.lib.so
<http://ld.lib.so>"

Post by Paulo
Quota exceeded! amount=24576, size=4096, consumed=24576
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=32768, size=4096, consumed=32768
[init] upgrading quota donation for Env::CPU (8192 bytes)
Quota exceeded! amount=40960, size=4096, consumed=40960
[init] upgrading quota donation for Env::CPU (8192 bytes)
[init -> fb_sdl] Could not open ROM session for module "config"
[init -> fb_sdl] Could not obtain config file
Can anyone shed some light or point me to the right part of the
documentation?

Currently Genode outputs some error messages that might be misleading,
but are necessary for us developers. "Quota exceeded!" is one of them.
This means the configured component or program memory quota in Genode's
'config' file does not suffice, such a program will then ask its parent
(in this case 'init') for more memory, which is successful in your case
('upgrading quota donation').

One can configure 'fb_sdl' via a ROM file and there are many ways to
provide one. Nevertheless, this 'config' is not mandatory and 'fb_sdl'
will also function without it. So, I can see no problems in the Log you
provided. Therefore, I will attach a working output. Please let me know
at what point your output differs. Also, what Linux version are you
using in your VirtualBox setup? Information about the distribution,
kernel version, and if it is 32 or 64 bit helps us a lot.

Post by Paulo
Also, I can't seem to find instructions for building an ISO. Is that
possible?

Yes, add '--include image/iso' to the 'RUN_OPT' variable in
<your-builddir>/etc/build.conf The ISO will in your case be located under
<your-builddir>/var/run/demo.iso

Thanks for trying,

Sebastian

Post by Paulo
Thanks,
/Paulo
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

Paulo

2016-02-10 16:30:24 UTC

Permalink

Hi Sebastian,

Thanks for the feedback.

Post by Sebastian Sumpf
Currently Genode outputs some error messages that might be misleading,
but are necessary for us developers. "Quota exceeded!" is one of them.
This means the configured component or program memory quota in Genode's
'config' file does not suffice, such a program will then ask its parent
(in this case 'init') for more memory, which is successful in your case
('upgrading quota donation').

Ok, I didn't notice the "upgrading quota", that does make sense.

Post by Sebastian Sumpf
One can configure 'fb_sdl' via a ROM file and there are many ways to
provide one. Nevertheless, this 'config' is not mandatory and 'fb_sdl'
will also function without it. So, I can see no problems in the Log you
provided. Therefore, I will attach a working output. Please let me know
at what point your output differs. Also, what Linux version are you
using in your VirtualBox setup? Information about the distribution,
kernel version, and if it is 32 or 64 bit helps us a lot.

Post by Paulo
Also, I can't seem to find instructions for building an ISO. Is that
possible?

Yes, add '--include image/iso' to the 'RUN_OPT' variable in
<your-builddir>/etc/build.conf The ISO will in your case be located under
<your-builddir>/var/run/demo.iso

I'm using ubuntu 15.10 (I didn't see the suggestion to use an LTS
version in time). I'm using the 15-05 genode fundations pdf as a
guide, particularly page 27. I probably need to read some more to get
a better grasp of some concepts, but meanwhile please bear with me. I
did:

./tool/ports/prepare_port nova && ./tool/ports/prepare_port x86emu
./tool/create_builddir nova_x86_64 && cd build/nova_x86_64
sed -r 's/^#(REPOSITORIES.*libports)/\1/g' -i etc/build.conf
(cd ../../repos/libports && make prepare) # as suggested on etc/build.conf
make run/demo

The iso file is created at this point, and I'm able to boot the VM
with it and see the demo in action, but qemu refuses to run (please
see the attached full output), because:

spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial
mon:stdio -cdrom var/run/demo.iso
Could not initialize SDL(No available video device) - exiting

What is the "No available video device" about? I can do `startx` and
get lxde running, so I don't think it's a virtualbox "hardware" issue.
What step am I missing?

By the way, the `make prepare` for libports is only suggested in
etc/build.conf; it might be helpful to include it on the instructions
for the "simple system scenario" on the book.

Sebastian Sumpf

2016-02-11 10:06:09 UTC

Permalink

Hi Paulo,

Post by Paulo
Hi Sebastian,
Thanks for the feedback.

Ok, I didn't notice the "upgrading quota", that does make sense.

Post by Paulo
Also, I can't seem to find instructions for building an ISO. Is that
possible?

Yes, add '--include image/iso' to the 'RUN_OPT' variable in
<your-builddir>/etc/build.conf The ISO will in your case be located under
<your-builddir>/var/run/demo.iso

I'm using ubuntu 15.10 (I didn't see the suggestion to use an LTS
version in time). I'm using the 15-05 genode fundations pdf as a
guide, particularly page 27. I probably need to read some more to get
a better grasp of some concepts, but meanwhile please bear with me. I
./tool/ports/prepare_port nova && ./tool/ports/prepare_port x86emu
./tool/create_builddir nova_x86_64 && cd build/nova_x86_64
sed -r 's/^#(REPOSITORIES.*libports)/\1/g' -i etc/build.conf
(cd ../../repos/libports && make prepare) # as suggested on etc/build.conf
make run/demo
The iso file is created at this point, and I'm able to boot the VM
with it and see the demo in action, but qemu refuses to run (please
spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial
mon:stdio -cdrom var/run/demo.iso
Could not initialize SDL(No available video device) - exiting
What is the "No available video device" about? I can do `startx` and
get lxde running, so I don't think it's a virtualbox "hardware" issue.
What step am I missing?

Qemu requires SDL for the display. Please add:

QEMU_OPT += -sdl

to your build.conf file that should fix the issue.

Post by Paulo
By the way, the `make prepare` for libports is only suggested in
etc/build.conf; it might be helpful to include it on the instructions
for the "simple system scenario" on the book.

Thanks for the suggestion,

Sebastian

--
Sebastian Sumpf
Genode Labs

http://www.genode-labs.com · http://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

Paulo

2016-02-11 11:49:49 UTC

Permalink

It was a silly thing after all: I was expecting run/demo to run X
itself or run on framebuffer somehow, so I didn't actually have X
started.
Starting X and doing `DISPLAY=:0 make run/demo` did it.
I'll move on to actually writing code now.

Thanks!
/Paulo

On Thu, Feb 11, 2016 at 10:06 AM, Sebastian Sumpf

Post by Sebastian Sumpf
Hi Paulo,

Post by Paulo
Hi Sebastian,
Thanks for the feedback.

Ok, I didn't notice the "upgrading quota", that does make sense.

Post by Paulo
Also, I can't seem to find instructions for building an ISO. Is that
possible?

Yes, add '--include image/iso' to the 'RUN_OPT' variable in
<your-builddir>/etc/build.conf The ISO will in your case be located under
<your-builddir>/var/run/demo.iso

I'm using ubuntu 15.10 (I didn't see the suggestion to use an LTS
version in time). I'm using the 15-05 genode fundations pdf as a
guide, particularly page 27. I probably need to read some more to get
a better grasp of some concepts, but meanwhile please bear with me. I
./tool/ports/prepare_port nova && ./tool/ports/prepare_port x86emu
./tool/create_builddir nova_x86_64 && cd build/nova_x86_64
sed -r 's/^#(REPOSITORIES.*libports)/\1/g' -i etc/build.conf
(cd ../../repos/libports && make prepare) # as suggested on etc/build.conf
make run/demo
The iso file is created at this point, and I'm able to boot the VM
with it and see the demo in action, but qemu refuses to run (please
spawn qemu-system-x86_64 -no-kvm -cpu core2duo -m 256 -serial
mon:stdio -cdrom var/run/demo.iso
Could not initialize SDL(No available video device) - exiting
What is the "No available video device" about? I can do `startx` and
get lxde running, so I don't think it's a virtualbox "hardware" issue.
What step am I missing?

QEMU_OPT += -sdl
to your build.conf file that should fix the issue.

Post by Paulo
By the way, the `make prepare` for libports is only suggested in
etc/build.conf; it might be helpful to include it on the instructions
for the "simple system scenario" on the book.

Thanks for the suggestion,
Sebastian
--
Sebastian Sumpf
Genode Labs
http://www.genode-labs.com · http://genode.org
Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=272487151&iu=/4140
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main