[seL4] beaglebone ethernet support

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.