Based on FreeBSD, which is BSD licensed:
  http://www.freebsd.org/copyright/freebsd-license.html
Genode-specific adaptations are AGPLv3 licensed:
  http://genode.org/about/licenses
