name=kernel-headers
repo=core
description=Development headers for the KnightOS kernel
# The headers are in the public domain, because they describe an API
# The implementation (i.e. the kernel itself) is still MIT/X11
copyright=Public Domain
infourl=http://www.knightos.org/documentation/reference/
