Browse Source

Update README

master
Emery Hemingway 5 months ago
parent
commit
6097f6d915
1 changed files with 15 additions and 13 deletions
  1. 15
    13
      README.md

+ 15
- 13
README.md View File

@@ -1,5 +1,5 @@
1 1
 ```
2
-       ______                     __           __
2
+`      ______                     __           __
3 3
       / ____/__  ____  ____  ____/ /__  ____  / / ____ ______
4 4
      / / __/ _ \/ __ \/ __ \/ __  / _ \/ __ \/ / / __ `/ ___/
5 5
     / /_/ /  __/ / / / /_/ / /_/ /  __/ /_/ / , \ /_/ (__  )
@@ -15,19 +15,21 @@
15 15
 
16 16
 **Mailing List:** https://lists.sr.ht/~ehmry/genodepkgs
17 17
 
18
+**Hydra:** https://hydra7.hq.c3d2.de/project/genodepkgs
19
+
20
+**SoTest:** https://opensource.sotest.io/userName%3Demery/1
21
+
18 22
 # Contributing
19 23
 
20 24
 At the moment every user needs to also act as distro developer, designing how
21
-packaging works needs to be done before packages can be submitted at will.
25
+packaging works needs to be done before packages can be submitted in bulk.
22 26
 Patches can be submitted and issues reported via the
23 27
 [mailing list](https://lists.sr.ht/~ehmry/genodepkgs). The mailing list is the
24 28
 minimum viable mechanism for community development, and may be replaced later.
25 29
 
26 30
 The worksites at the moment are:
27 31
 
28
- - Generation of documentation on internal types and functions. By generating a
29
-   comprehensive single document early, we should be able to refactor and prune
30
-   the internals faster.
32
+ - Documentation
31 33
 
32 34
  - Port tests to the NixOS test harness.
33 35
 
@@ -111,10 +113,10 @@ experimental-features = nix-command flakes ca-references
111 113
 
112 114
 ```sh
113 115
 $ nix flake add genodepkgs git+https://git.sr.ht/~ehmry/genodepkgs
114
-$ nix build genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci
116
+$ nix build genodepkgs#checks.x86_64-linux.nova-x86
115 117
 
116 118
 # View the log if the result is already cached:
117
-$ nix log genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci
119
+$ nix log genodepkgs#checks.x86_64-linux.nova-x86
118 120
 ```
119 121
 
120 122
 ### As a hacker
@@ -122,10 +124,10 @@ $ nix log genodepkgs#checks.x86_64-linux-x86_64-genode.nova-pci
122 124
 ```sh
123 125
 $ git clone https://git.sr.ht/~ehmry/genodepkgs
124 126
 $ cd genodepkgs
125
-$ nix build .#checks.x86_64-linux-x86_64-genode.nova-pci
127
+$ nix build .#checks.x86_64-linux.nova-x86
126 128
 
127 129
 # View the log if the result is already cached:
128
-$ nix log .#checks.x86_64-linux-x86_64-genode.nova-pci
130
+$ nix log .#checks.x86_64-linux.nova-x86
129 131
 ```
130 132
 
131 133
 # Toolchain
@@ -150,13 +152,13 @@ as follows:
150 152
 
151 153
 ```shell
152 154
 # Build a test log from a QEMU test run:
153
-nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net
155
+nix build .#checks.x86_64-linux.nova-x86
154 156
 
155 157
 # Build an ISO of the test run:
156
-nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net.iso
158
+nix build .#checks.x86_64-linux.nova-x86.iso
157 159
 
158
-# Build the [SOTEST](https://opensource.sotest.io/) artifacts of a test run.
159
-nix build .#checks.x86_64-linux-x86_64-genode.nova-solo5-net.sotest
160
+# Build the Dhall boot description of the test run:
161
+nix build .#checks.x86_64-linux.nova-x86.config
160 162
 ```
161 163
 
162 164
 # Tips and tricks

Loading…
Cancel
Save