using tool/dde_linux/ scripts for usb_net driver

[Pirmin Duss]

Hello Genodians

While upgrading to Genode 23.11 I noticed, that the new usb_net_drv no 
longer supports the smsc95xx which is in our IoT gateway. The source 
file for this was used by the old driver but isn't in the sources.list 
of the new driver.

I started by adding the missing source file. After fixing a missing 
include path I have a number of unresolved symbols.
To use tool/dde_linux/create_dummies some variables need to be set
  - TARGET -> drivers/usb_net
  - DUMMY_FILE -> /tmp/generated_dummies.c
  - ARCH -> x86_64
  - BUILD_DIR -> build/x86_64
  - LINUX_KERNEL_DIR -> build/x86_64/pc_linux/x86_64

This generates a file that contains the missing functions and variables.

If I change the following:
  - ARCH -> arm_v8a
  - BUILD_DIR -> build/arm_v8a
  - LINUX_KERNEL_DIR -> build/arm_v8a/imx_linux/arm_v8a

The generated file only contains the header.

Is it save to copy the functions generated in the x86_64 run in to the 
generated_dummies.c for the arm_64 spec?


Regards, Pirmin