mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-04 18:22:08 +00:00
436d946300
The source codes are needed to use the API because they are statically linked.