I have been trying to get an example sel4 programs that demonstrate a network connection, most notably picoserver, to work on an odroid board.
Many resources were referenced such as an eth driver and the types of files I needed to get a camkes implementation to work. However, I haven't been very successful. I don't really understand what I am supposed to be included in some of the files or more importantly where to find the information I need to populate the file specifically for odroid as similar files for other boards have other files as dependecies.
Sincerly, Nkem