kernkonzept / manifest

The main L4Re manifest to checkout the L4Re operating system.
GNU General Public License v2.0
19 stars 5 forks source link

Networking support in L4Re #23

Open Ankush-Pathak opened 1 year ago

Ankush-Pathak commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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 commented 1 year ago

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.