[seL4] Ethernet device module for odroidc2

I have been trying to use the ethernet driver for the UNSW Asdvanced Operating Systems course but I still get these messages:

find_compatible_driver_module@io.c:434 No suitable driver was found for path /soc/ethernet@c9410000, ignoring server_init@ethdriver.c:382 Unable to find an ethernet device

I thought that I had to copy the driver to the utils lib folder and provide a preprocessor macro as someone else had suggested but I may be missing a few other things.

Best, Nkem