Ethernet & TCP/IP 🚧

This project is still under development and we hope to release it in fall 2025. Still, you can read through apps/user/udp_hello.c and see how an operating system could send UDP packets through a real Ethernet device (i.e., the one on the Arty FPGA board).