diff --git a/.CC0-1.0.png b/.CC0-1.0.png
new file mode 100644
index 0000000..7d1a462
Binary files /dev/null and b/.CC0-1.0.png differ
diff --git a/LICENSES/CC0-1.0.txt b/LICENSES/CC0-1.0.txt
new file mode 100644
index 0000000..a343ccd
--- /dev/null
+++ b/LICENSES/CC0-1.0.txt
@@ -0,0 +1,119 @@
+Creative Commons Legal Code
+
+CC0 1.0 Universal CREATIVE COMMONS CORPORATION IS NOT A LAW FIRM AND DOES
+NOT PROVIDE LEGAL SERVICES. DISTRIBUTION OF THIS DOCUMENT DOES NOT CREATE
+AN ATTORNEY-CLIENT RELATIONSHIP. CREATIVE COMMONS PROVIDES THIS INFORMATION
+ON AN "AS-IS" BASIS. CREATIVE COMMONS MAKES NO WARRANTIES REGARDING THE USE
+OF THIS DOCUMENT OR THE INFORMATION OR WORKS PROVIDED HEREUNDER, AND DISCLAIMS
+LIABILITY FOR DAMAGES RESULTING FROM THE USE OF THIS DOCUMENT OR THE INFORMATION
+OR WORKS PROVIDED HEREUNDER.
+
+Statement of Purpose
+
+The laws of most jurisdictions throughout the world automatically confer exclusive
+Copyright and Related Rights (defined below) upon the creator and subsequent
+owner(s) (each and all, an "owner") of an original work of authorship and/or
+a database (each, a "Work").
+
+Certain owners wish to permanently relinquish those rights to a Work for the
+purpose of contributing to a commons of creative, cultural and scientific
+works ("Commons") that the public can reliably and without fear of later claims
+of infringement build upon, modify, incorporate in other works, reuse and
+redistribute as freely as possible in any form whatsoever and for any purposes,
+including without limitation commercial purposes. These owners may contribute
+to the Commons to promote the ideal of a free culture and the further production
+of creative, cultural and scientific works, or to gain reputation or greater
+distribution for their Work in part through the use and efforts of others.
+
+For these and/or other purposes and motivations, and without any expectation
+of additional consideration or compensation, the person associating CC0 with
+a Work (the "Affirmer"), to the extent that he or she is an owner of Copyright
+and Related Rights in the Work, voluntarily elects to apply CC0 to the Work
+and publicly distribute the Work under its terms, with knowledge of his or
+her Copyright and Related Rights in the Work and the meaning and intended
+legal effect of CC0 on those rights.
+
+1. Copyright and Related Rights. A Work made available under CC0 may be protected
+by copyright and related or neighboring rights ("Copyright and Related Rights").
+Copyright and Related Rights include, but are not limited to, the following:
+
+i. the right to reproduce, adapt, distribute, perform, display, communicate,
+and translate a Work;
+
+      ii. moral rights retained by the original author(s) and/or performer(s);
+
+iii. publicity and privacy rights pertaining to a person's image or likeness
+depicted in a Work;
+
+iv. rights protecting against unfair competition in regards to a Work, subject
+to the limitations in paragraph 4(a), below;
+
+v. rights protecting the extraction, dissemination, use and reuse of data
+in a Work;
+
+vi. database rights (such as those arising under Directive 96/9/EC of the
+European Parliament and of the Council of 11 March 1996 on the legal protection
+of databases, and under any national implementation thereof, including any
+amended or successor version of such directive); and
+
+vii. other similar, equivalent or corresponding rights throughout the world
+based on applicable law or treaty, and any national implementations thereof.
+
+2. Waiver. To the greatest extent permitted by, but not in contravention of,
+applicable law, Affirmer hereby overtly, fully, permanently, irrevocably and
+unconditionally waives, abandons, and surrenders all of Affirmer's Copyright
+and Related Rights and associated claims and causes of action, whether now
+known or unknown (including existing as well as future claims and causes of
+action), in the Work (i) in all territories worldwide, (ii) for the maximum
+duration provided by applicable law or treaty (including future time extensions),
+(iii) in any current or future medium and for any number of copies, and (iv)
+for any purpose whatsoever, including without limitation commercial, advertising
+or promotional purposes (the "Waiver"). Affirmer makes the Waiver for the
+benefit of each member of the public at large and to the detriment of Affirmer's
+heirs and successors, fully intending that such Waiver shall not be subject
+to revocation, rescission, cancellation, termination, or any other legal or
+equitable action to disrupt the quiet enjoyment of the Work by the public
+as contemplated by Affirmer's express Statement of Purpose.
+
+3. Public License Fallback. Should any part of the Waiver for any reason be
+judged legally invalid or ineffective under applicable law, then the Waiver
+shall be preserved to the maximum extent permitted taking into account Affirmer's
+express Statement of Purpose. In addition, to the extent the Waiver is so
+judged Affirmer hereby grants to each affected person a royalty-free, non
+transferable, non sublicensable, non exclusive, irrevocable and unconditional
+license to exercise Affirmer's Copyright and Related Rights in the Work (i)
+in all territories worldwide, (ii) for the maximum duration provided by applicable
+law or treaty (including future time extensions), (iii) in any current or
+future medium and for any number of copies, and (iv) for any purpose whatsoever,
+including without limitation commercial, advertising or promotional purposes
+(the "License"). The License shall be deemed effective as of the date CC0
+was applied by Affirmer to the Work. Should any part of the License for any
+reason be judged legally invalid or ineffective under applicable law, such
+partial invalidity or ineffectiveness shall not invalidate the remainder of
+the License, and in such case Affirmer hereby affirms that he or she will
+not (i) exercise any of his or her remaining Copyright and Related Rights
+in the Work or (ii) assert any associated claims and causes of action with
+respect to the Work, in either case contrary to Affirmer's express Statement
+of Purpose.
+
+   4. Limitations and Disclaimers.
+
+a. No trademark or patent rights held by Affirmer are waived, abandoned, surrendered,
+licensed or otherwise affected by this document.
+
+b. Affirmer offers the Work as-is and makes no representations or warranties
+of any kind concerning the Work, express, implied, statutory or otherwise,
+including without limitation warranties of title, merchantability, fitness
+for a particular purpose, non infringement, or the absence of latent or other
+defects, accuracy, or the present or absence of errors, whether or not discoverable,
+all to the greatest extent permissible under applicable law.
+
+c. Affirmer disclaims responsibility for clearing rights of other persons
+that may apply to the Work or any use thereof, including without limitation
+any person's Copyright and Related Rights in the Work. Further, Affirmer disclaims
+responsibility for obtaining any necessary consents, permissions or other
+rights required for any use of the Work.
+
+d. Affirmer understands and acknowledges that Creative Commons is not a party
+to this document and has no duty or obligation with respect to this CC0 or
+use of the Work.
diff --git a/LICENSES/LicenseRef-Hippocratic-1.1.txt b/LICENSES/LicenseRef-Hippocratic-1.1.txt
deleted file mode 100644
index fef982c..0000000
--- a/LICENSES/LicenseRef-Hippocratic-1.1.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-Copyright (YEAR) (COPYRIGHT HOLDER)
-
-Permission is hereby granted, free of charge, to any person obtaining a copy of
-this software and associated documentation files (the "Software"), to deal in
-the Software without restriction, including without limitation the rights to
-use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
-the Software, and to permit persons to whom the Software is furnished to do so,
-subject to the following conditions:
-
-* The above copyright notice and this permission notice shall be included in all
-  copies or substantial portions of the Software.
-
-* The software may not be used by individuals, corporations, governments, or
-  other groups for systems or activities that actively and knowingly endanger,
-  harm, or otherwise threaten the physical, mental, economic, or general
-  well-being of  individuals or groups in violation of the United Nations
-  Universal Declaration of Human Rights
-  (https://www.un.org/en/universal-declaration-human-rights/).
-
-THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
-IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
-FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
-COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
-IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
-CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
-
-This license is derived from the MIT License, as amended to limit the impact of
-the unethical use of open source software.
diff --git a/apps/default.nix b/apps/default.nix
index b3f48d8..a0e9a6b 100644
--- a/apps/default.nix
+++ b/apps/default.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { nixpkgs, packages, dhallApps }:
 
 rec {
diff --git a/apps/nova-image/default.nix b/apps/nova-image/default.nix
index 6398c6d..cc0bd51 100644
--- a/apps/nova-image/default.nix
+++ b/apps/nova-image/default.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { stdenv, nixpkgs, dhallApps, packages }:
 
 let inherit (packages.genode) base-nova;
diff --git a/apps/nova-modules.as.dhall b/apps/nova-modules.as.dhall
index 25fe728..afecb88 100644
--- a/apps/nova-modules.as.dhall
+++ b/apps/nova-modules.as.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 let Prelude = Genode.Prelude
diff --git a/flake.nix b/flake.nix
index 0e162de..cc29304 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 {
   edition = 201909;
 
diff --git a/lib/default.nix b/lib/default.nix
index ae76c01..ce34395 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -1,4 +1,7 @@
-{ system, localSystem, crossSystem, genodepkgs, nixpkgs, dhall-haskell, genode-depot }:
+# SPDX-License-Identifier: CC0-1.0
+
+{ system, localSystem, crossSystem, genodepkgs, nixpkgs, dhall-haskell
+, genode-depot }:
 
 let
   thisSystem = builtins.getAttr system;
diff --git a/lib/genode.ld b/lib/genode.ld
index c5f8989..b8ae832 100644
--- a/lib/genode.ld
+++ b/lib/genode.ld
@@ -1,3 +1,7 @@
+// SPDX-FileCopyrightText: 2006-2017 Genode Labs GmbH
+//
+// SPDX-License-Identifier: LicenseRef-Genode
+
 /*
  * \brief  Linker script for Genode programs
  * \author Christian Helmuth
diff --git a/nixos/default.nix b/nixos/default.nix
index 10924e1..7d3c91a 100644
--- a/nixos/default.nix
+++ b/nixos/default.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { config, pkgs, lib, ... }:
 
 {
diff --git a/nixos/test.nix b/nixos/test.nix
index f0782fd..3f398e8 100644
--- a/nixos/test.nix
+++ b/nixos/test.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { system, depot, genodepkgs, nixpkgs, }:
 
 import "${nixpkgs}/nixos/tests/make-test.nix" (
diff --git a/packages/bender/default.nix b/packages/bender/default.nix
index 7c35be6..7cdf31a 100644
--- a/packages/bender/default.nix
+++ b/packages/bender/default.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { stdenv, fetchFromGitHub, cmake }:
 
 stdenv.mkDerivation rec {
diff --git a/packages/dhall/default.nix b/packages/dhall/default.nix
index 7f300b1..b82e9e0 100644
--- a/packages/dhall/default.nix
+++ b/packages/dhall/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { callPackage }:
 
diff --git a/packages/dhall/genode.nix b/packages/dhall/genode.nix
index a8a5173..2929ae6 100644
--- a/packages/dhall/genode.nix
+++ b/packages/dhall/genode.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { fetchgit }:
 
diff --git a/packages/dhall/prelude-11.0.0.nix b/packages/dhall/prelude-11.0.0.nix
index 6138e9e..8d17020 100644
--- a/packages/dhall/prelude-11.0.0.nix
+++ b/packages/dhall/prelude-11.0.0.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenvNoCC, lib, fetchgit }:
 
diff --git a/packages/dhall/prelude-9.0.0.nix b/packages/dhall/prelude-9.0.0.nix
index bfb3b07..6cec94f 100644
--- a/packages/dhall/prelude-9.0.0.nix
+++ b/packages/dhall/prelude-9.0.0.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenvNoCC, lib, fetchFromGitHub }:
 
diff --git a/packages/libc/default.nix b/packages/libc/default.nix
index 4d654c0..f4b8896 100644
--- a/packages/libc/default.nix
+++ b/packages/libc/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenvNoCC, depot }:
 
diff --git a/packages/nic_bus/default.nix b/packages/nic_bus/default.nix
index c59168a..1329266 100644
--- a/packages/nic_bus/default.nix
+++ b/packages/nic_bus/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenv, buildPackages, fetchgit, base, os, pkgconfig, tup }:
 
diff --git a/packages/solo5/default.nix b/packages/solo5/default.nix
index dab79d6..098a88c 100644
--- a/packages/solo5/default.nix
+++ b/packages/solo5/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenv, buildPackages, fetchurl, llvmPackages, pkgconfig, base, os }:
 
diff --git a/packages/stdcxx/default.nix b/packages/stdcxx/default.nix
index 937a647..878a93c 100644
--- a/packages/stdcxx/default.nix
+++ b/packages/stdcxx/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { stdenvNoCC, llvmPackages }:
 
diff --git a/tests/default.nix b/tests/default.nix
index 601334b..d3956df 100644
--- a/tests/default.nix
+++ b/tests/default.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 let
   tests = call:
diff --git a/tests/driver-config.dhall b/tests/driver-config.dhall
index 1a75251..63fe62d 100644
--- a/tests/driver-config.dhall
+++ b/tests/driver-config.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode =
         env:DHALL_GENODE
       ? https://git.sr.ht/~ehmry/dhall-genode/blob/master/package.dhall
diff --git a/tests/driver-linux.nix b/tests/driver-linux.nix
index ec41352..04da68d 100644
--- a/tests/driver-linux.nix
+++ b/tests/driver-linux.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { testPkgs, hostPkgs, lib, depot }:
 
diff --git a/tests/driver-nova.nix b/tests/driver-nova.nix
index b6fc55b..9c3e42e 100644
--- a/tests/driver-nova.nix
+++ b/tests/driver-nova.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { system, testPkgs, hostPkgs, lib, depot }:
 
diff --git a/tests/fs_report.nix b/tests/fs_report.nix
index 04ae4a5..b350201 100644
--- a/tests/fs_report.nix
+++ b/tests/fs_report.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { testEnv, pkgs, ... }:
 with pkgs;
 
diff --git a/tests/libc.dhall b/tests/libc.dhall
index 93b9797..065972c 100644
--- a/tests/libc.dhall
+++ b/tests/libc.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ ( _
diff --git a/tests/nova-iso.nix b/tests/nova-iso.nix
index cacab12..b6ec481 100644
--- a/tests/nova-iso.nix
+++ b/tests/nova-iso.nix
@@ -1,6 +1,4 @@
-# SPDX-FileCopyrightText: Emery Hemingway
-#
-# SPDX-License-Identifier: LicenseRef-Hippocratic-1.1
+# SPDX-License-Identifier: CC0-1.0
 
 { hostPkgs, testPkgs, coreNovaObj }:
 modules:
diff --git a/tests/pci.dhall b/tests/pci.dhall
index abd04e8..59357b6 100644
--- a/tests/pci.dhall
+++ b/tests/pci.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ ( _
diff --git a/tests/pci.nix b/tests/pci.nix
index 05af77b..1a11a60 100644
--- a/tests/pci.nix
+++ b/tests/pci.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { testEnv, pkgs, ... }:
 with pkgs;
 
diff --git a/tests/signal.dhall b/tests/signal.dhall
index 6d11a24..d5a182e 100644
--- a/tests/signal.dhall
+++ b/tests/signal.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE ? ../dhall-genode/package.dhall
 
 in    λ(_ : {})
diff --git a/tests/signal.nix b/tests/signal.nix
index 6b36faf..6897327 100644
--- a/tests/signal.nix
+++ b/tests/signal.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { testEnv, pkgs, ... }:
 with pkgs;
 
diff --git a/tests/solo5/blk.dhall b/tests/solo5/blk.dhall
index 58302df..23732df 100644
--- a/tests/solo5/blk.dhall
+++ b/tests/solo5/blk.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ(_ : {})
diff --git a/tests/solo5/default.nix b/tests/solo5/default.nix
index 85f3eea..5ef4cd1 100644
--- a/tests/solo5/default.nix
+++ b/tests/solo5/default.nix
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: CC0-1.0
+
 { testEnv, pkgs, ... }:
 with pkgs;
 
diff --git a/tests/solo5/net.dhall b/tests/solo5/net.dhall
index 1775afc..7fd33e1 100644
--- a/tests/solo5/net.dhall
+++ b/tests/solo5/net.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ(_ : {})
diff --git a/tests/solo5/net_2if.dhall b/tests/solo5/net_2if.dhall
index a73a39e..101db90 100644
--- a/tests/solo5/net_2if.dhall
+++ b/tests/solo5/net_2if.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ ( _
diff --git a/tests/solo5/simple.dhall b/tests/solo5/simple.dhall
index 065c2f3..20988d5 100644
--- a/tests/solo5/simple.dhall
+++ b/tests/solo5/simple.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ(_ : {})
diff --git a/tests/solo5/time.dhall b/tests/solo5/time.dhall
index 2c0efd6..e4d4e04 100644
--- a/tests/solo5/time.dhall
+++ b/tests/solo5/time.dhall
@@ -1,3 +1,5 @@
+-- SPDX-License-Identifier: CC0-1.0
+
 let Genode = env:DHALL_GENODE
 
 in    λ(_ : {})