mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-07 11:27:29 +00:00
This reverts commit 9a37ccfe291508c5199e10813117b16a5766ff44 except for the new declarations in public headers (in order to not change any APIs again). We revert the commit as we found that there are corner cases in which it produces a bad UDP checksum. The bad UDP checksum was observed via Wireshark at a TFTP server in a Sculpt 22.10 Debian 11 VM on the first request of fetching a file with the TFTP client of the uboot on our iMX8 test board. Ref #4636
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.