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
Hi Paulo,
On 02/04/2016 04:04 PM, Paulo wrote:
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.
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 ---
h> [init] Could not open ROM session for module "ld.lib.so http://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?
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.
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
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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
Hi Sebastian,
Thanks for the feedback.
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.
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.
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.
Hi Paulo,
On 02/10/2016 05:30 PM, Paulo wrote:
Hi Sebastian,
Thanks for the feedback.
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.
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.
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?
Qemu requires SDL for the display. Please add:
QEMU_OPT += -sdl
to your build.conf file that should fix the issue.
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
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 <Sebastian.Sumpf@...1...> wrote:
Hi Paulo,
On 02/10/2016 05:30 PM, Paulo wrote:
Hi Sebastian,
Thanks for the feedback.
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.
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.
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?
Qemu requires SDL for the display. Please add:
QEMU_OPT += -sdl
to your build.conf file that should fix the issue.
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 genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
-
Paulo -
Sebastian Sumpf