Hello,
I noticed that there is some source code to support the ethernet driver of the beaglebone black. I look especially in projects/seL4_libs/libsel4platsupport/src/plat/am335x/cpsw_beaglebone.c
According to https://github.com/seL4/seL4_libs/blob/master/libsel4platsupport/src/plat/am... the file has been introduced by NICTA - I am wondering if there is any existing example/support for it.
In a nutshell, I am trying to use the ethernet driver. I started to integrate the startcode from TI on a camkes application before discovering this code.
So, is there any sample application to use it? It is supported/working?
Thanks for any help,
Julien.