tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 mirage-clock,
4}:
5
6buildDunePackage {
7 pname = "mirage-clock-solo5";
8
9 inherit (mirage-clock)
10 version
11 src
12 ;
13
14 propagatedBuildInputs = [
15 mirage-clock
16 ];
17
18 meta = mirage-clock.meta // {
19 description = "Paravirtual implementation of the MirageOS Clock interface";
20 };
21}