From 6097f6d9151e4b71bd8eb4338846f22e7fb17b67 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Sun, 26 Apr 2020 17:47:48 +0530 Subject: [PATCH] Update README --- README.md | 28 +++++++++++++++------------- 1 file changed, 15 insertions(+), 13 deletions(-) diff --git a/README.md b/README.md index 72ca05b..c64e743 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,5 @@ ``` - ______ __ __ +` ______ __ __ / ____/__ ____ ____ ____/ /__ ____ / / ____ ______ / / __/ _ \/ __ \/ __ \/ __ / _ \/ __ \/ / / __ `/ ___/ / /_/ / __/ / / / /_/ / /_/ / __/ /_/ / , \ /_/ (__ ) @@ -15,19 +15,21 @@ **Mailing List:** https://lists.sr.ht/~ehmry/genodepkgs +**Hydra:** https://hydra7.hq.c3d2.de/project/genodepkgs + +**SoTest:** https://opensource.sotest.io/userName%3Demery/1 + # Contributing At the moment every user needs to also act as distro developer, designing how -packaging works needs to be done before packages can be submitted at will. +packaging works needs to be done before packages can be submitted in bulk. Patches can be submitted and issues reported via the [mailing list](https://lists.sr.ht/~ehmry/genodepkgs). The mailing list is the minimum viable mechanism for community development, and may be replaced later. The worksites at the moment are: - - Generation of documentation on internal types and functions. By generating a - comprehensive single document early, we should be able to refactor and prune - the internals faster. + - Documentation - Port tests to the NixOS test harness. @@ -111,10 +113,10 @@ experimental-features = nix-command flakes ca-references ```sh $ nix flake add genodepkgs git+https://git.sr.ht/~ehmry/genodepkgs -$ nix build genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci +$ nix build genodepkgs#checks.x86_64-linux.nova-x86 # View the log if the result is already cached: -$ nix log genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci +$ nix log genodepkgs#checks.x86_64-linux.nova-x86 ``` ### As a hacker @@ -122,10 +124,10 @@ $ nix log genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci ```sh $ git clone https://git.sr.ht/~ehmry/genodepkgs $ cd genodepkgs -$ nix build .#checks.x86_64-linux-x86_64-genode.nova-pci +$ nix build .#checks.x86_64-linux.nova-x86 # View the log if the result is already cached: -$ nix log .#checks.x86_64-linux-x86_64-genode.nova-pci +$ nix log .#checks.x86_64-linux.nova-x86 ``` # Toolchain @@ -150,13 +152,13 @@ as follows: ```shell # Build a test log from a QEMU test run: -nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net +nix build .#checks.x86_64-linux.nova-x86 # Build an ISO of the test run: -nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net.iso +nix build .#checks.x86_64-linux.nova-x86.iso -# Build the [SOTEST](https://opensource.sotest.io/) artifacts of a test run. -nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net.sotest +# Build the Dhall boot description of the test run: +nix build .#checks.x86_64-linux.nova-x86.config ``` # Tips and tricks