mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
Those values need to be stored local to the FD. Including them in the 'File_descriptor' eases the handling of libc plugins.
Those values need to be stored local to the FD. Including them in the 'File_descriptor' eases the handling of libc plugins.