mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-11 06:54:18 +00:00
For now this import file is solely there to satisfy the mechansim in Goa that collects and incorporates import files for used APIs. Issue genodelabs/goa#81.