includedir=@includedir@/genode-os
Name: os
Description: Genode os API
URL: https://genode.org/
Version: @SDK_VERSION@
Cflags: -std=gnu++17 -I${includedir} @SPEC_INCLUDES@