Hello Alexander,
On Fri, Jun 03, 2022 at 11:31:24 CEST, Alexander Tormasov via users wrote:
- Incorrect fix of run file:
[...]
Pay attention that you remove accidentally }
Sorry for my laziness - I fixed this bug now in genode-world branch staging.
- After fix of the above I found another problem:
error copying "bin/ipxe_nic_drv": no such file or directory
[...]
Any idea how to fix?
It seems your build directory is not configured to include repos/dde_ipxe in REPOSITORIES. Therefore, 'make drivers/nic' does not produce ipxe_nic_drv. Adding the following line to etc/build.conf should help.
REPOSITORIES += $(GENODE_DIR)/repos/dde_ipxe
Regards