mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-13 22:42:06 +00:00
This reverts commit cf904e0a5d92fe7c5b467454d7b49870f615ad92 and introduces the Append_file class instead. genodelabs/genode#4352
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.