Hello Christian,
The build of Falkon with the Nova kernel on a PC board has been completed.
I apologize for any confusion caused by my previous email, which was sent in haste because I have recently started working with the Genode framework and need to become more fully acquainted with its build system.
By adding certain components to the source code, I have been able to run Falkon for the Nova kernel on a PC board. The e1000 network is also correctly recognized and receives the network address via DHCP correctly. However, I still do not have network access from within QEMU to the outside and vice versa.
Thank you for your understanding.
Best regards, Hamed