Also posted at https://github.com/genodelabs/genode/issues/4593I%27m trying out the Nova microhypervisor with the line:make run/demo KERNEL=nova BOARD=pcand I get the error:Error: incomplete or missing recipe (genodelabs/src/pc_usb_host_drv genodelabs/src/usb_hid_drv)I'm following the Genode Foundations 21.05 pdf and tried the typing in the suggested help message from the error handler:update depot: /home/samuraicrow/Documents/genode/tool/depot/create genodelabs/bin/x86_64/base-nova genodelabs/bin/x86_64/demo genodelabs/bin/x86_64/global_keys_handler genodelabs/bin/x86_64/init genodelabs/bin/x86_64/nit_focus genodelabs/bin/x86_64/nitpicker genodelabs/bin/x86_64/report_rom genodelabs/bin/x86_64/rom_filter genodelabs/pkg/x86_64/drivers_interactive-pc CROSS_DEV_PREFIX=/usr/local/genode/tool/21.05/bin/genode-x86- DEPOT_DIR=/home/samuraicrow/Documents/genode/depot UPDATE_VERSIONS=1 FORCE=1 REBUILD= -j8 and it executes but doesn't help. When trying again it yields the same error.I'm trying to run this on Manjaro Linux x86_64 XFCE. My hardware is an 8 year old gaming rig with a 3rd gen i7 CPU and 32 GB of DDR3. It has UEFI firmware and the USB3 is working under Linux.Are there any suggestions of how to get around this?
Hello Sam,
for the subscribers in this list I post my reply in Issue #4593 [1] in the following.
It seems your build-directory configuration and instructions used do not fit the source-code version of Genode. Could you please try to execute the following commands additionally to the instructions at https://genode.org/documentation/genode-foundations/21.05/getting_started/Ob... and retry running the demo on NOVA?
cd <genode-dir> git checkout -b 21.05
The background is that Genode's Git master version evolved much since 21.05 and build/configuration requirements changed too. If my hint above works you, we will amend the instruction in Genode Foundations accordingly.
In the meantime the manual was updated with the instructions above [2]. Sam, I'd appreciate to hear from you if these instructions are sufficient to run the demo in your setup. Let's keep further discussiosn on this list.
[1] https://github.com/genodelabs/genode/issues/4593 [2] https://github.com/nfeske/genode-manual/pull/9
Best Regards
Unfortunately, I made a mistake while transferring the command line below from my tests to my reply.
On Fri, Aug 26, 2022 at 11:42:03 CEST, Christian Helmuth wrote:
git checkout -b 21.05
This must read 'git checkout -b 21.05 21.05'. Otherwise, the new branch while (again) refer to origin/master.
Greets
Thanks, Mr. Helmuth,
That partially solved it. Now usb_hid_drv still does not build due to a missing recipe but the host driver does. When I switched branches, I deleted the build directory and started over.
I'm almost up and running.