Hi Christian, Thanks for your response! > ./tool/create_builddir linux > > This variant of create_builddir creates a build directory for the > _target_ platform linux only, i.e., base-linux [1]. This clearly > contradicts with you running the scenario for KERNEL=nova and, thus, > compiling ldso for nova only. What you need to run is following.
For a Genode newbie this may not be as clear as you think ;-) > ./tool/create_builddir x86_64 > make -C build/x86_64 run/something KERNEL=nova > make -C build/x86_64 run/something KERNEL=linux If that something is vbox4_ubuntu_14_04_32, this fails for me. make -C build/x86_64 run/vbox4_ubuntu_14_04_32 KERNEL=nova => Run script does not support Qemu. make -C build/x86_64 run/vbox4_ubuntu_14_04_32 KERNEL=linux => Platform is unsupported. How can I determine which platforms and kernels are supported? Looking at the run files, the virtualbox scenarios require a Nova or Muen kernel, but don't support Qemu. So if I understand correctly the x86_32 and x86_64 platforms (i.e. build directories) will not work. What I'm trying to achieve is to run a Linux image using Virtualbox as a Genode component. I'd hoped the many existing virtualbox scenarios would point me in the right direction, but I haven't been able to run them successfully yet. Kind regards, Wouter _______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
