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
