Networking support in L4Re

[Ankush-Pathak]

Is there a plan to provide networking drivers in the L4Re distribution?
If not, what is the best way to engineer networking support for L4Re applications running on an RPi4?

[alacko]

Hi, currently there are no networking drivers. What is typically done here is to use a VM with Linux to get an easy way to networking. Are you looking specifically for networking in an L4Re app or just general networking availability?

[Ankush-Pathak]

I am looking for networking support in an L4Re app.
Are you aware of any third-party codebases that implement networking for L4Re apps?
I read in one of the mailing list threads that L4Re had lwip support. Do you think an older L4Re version with lwip will work on a Pi 4?

[alacko]

Hi. The current snapshot from l4re.org contains a current lwip variant. What would be missing is a network driver for the rpi4, however, a Linux VM can be used here as well.