···

       
21
       
21
       
 
       
  "solo5-kernel-virtio"

     

       
22
       
22
       
 
       
]

     

       
23
       
23
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
24
       
24
       
+
       
flags: deprecated

     

       
24
       
25
       
 
       
available:

     

       
25
       
26
       
 
       
  (arch = "x86_64" | arch = "x86_64") &

     

       
26
       
27
       
 
       
  (os = "linux" | os = "freebsd" | os = "openbsd")

     

···

       
21
       
21
       
 
       
  "solo5-kernel-virtio"

     

       
22
       
22
       
 
       
]

     

       
23
       
23
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
24
       
24
       
+
       
flags: deprecated

     

       
24
       
25
       
 
       
available:

     

       
25
       
26
       
 
       
  (arch = "x86_64" | arch = "x86_64") &

     

       
26
       
27
       
 
       
  (os = "linux" | os = "freebsd" | os = "openbsd")

     

···

       
24
       
24
       
 
       
]

     

       
25
       
25
       
 
       
conflicts: "solo5-kernel-virtio"

     

       
26
       
26
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
27
       
27
       
+
       
flags: deprecated

     

       
27
       
28
       
 
       
available: arch = "x86_64" & os = "linux"

     

       
28
       
29
       
 
       
synopsis: "Solo5 unikernel base (ukvm target)"

     

       
29
       
30
       
 
       
description:

     

···

       
24
       
24
       
 
       
]

     

       
25
       
25
       
 
       
conflicts: "solo5-kernel-virtio"

     

       
26
       
26
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
27
       
27
       
+
       
flags: deprecated

     

       
27
       
28
       
 
       
available: arch = "x86_64" & os = "linux"

     

       
28
       
29
       
 
       
synopsis: "Solo5 unikernel base (ukvm target)"

     

       
29
       
30
       
 
       
description: """

     

···

       
23
       
23
       
 
       
  ["kernel-headers"] {os-distribution = "rhel"}

     

       
24
       
24
       
 
       
]

     

       
25
       
25
       
 
       
conflicts: "solo5-kernel-virtio"

     

       
26
       
26
       
+
       
flags: deprecated

     

       
26
       
27
       
 
       
available: arch = "x86_64" & os = "linux"

     

       
27
       
28
       
 
       
patches: [ "solo5-no-werror.diff" "solo5-no-asm-msr-index.diff" ]

     

       
28
       
29
       
 
       
synopsis: "Solo5 unikernel base (ukvm target)"

     

···

       
23
       
23
       
 
       
  ["kernel-headers"] {os-distribution = "rhel"}

     

       
24
       
24
       
 
       
]

     

       
25
       
25
       
 
       
conflicts: "solo5-kernel-virtio"

     

       
26
       
26
       
+
       
flags: deprecated

     

       
26
       
27
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
27
       
28
       
 
       
available: arch = "x86_64" & os = "linux"

     

       
28
       
29
       
 
       
synopsis: "Solo5 unikernel base (ukvm target)"

     

···

       
27
       
27
       
 
       
  "solo5-kernel-muen"

     

       
28
       
28
       
 
       
]

     

       
29
       
29
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
30
       
30
       
+
       
flags: deprecated

     

       
30
       
31
       
 
       
available:

     

       
31
       
32
       
 
       
  (arch = "x86_64" | arch = "x86_64" | arch = "arm64") &

     

       
32
       
33
       
 
       
  (os = "linux" | os = "freebsd" | os = "openbsd")

     

···

       
27
       
27
       
 
       
  "solo5-kernel-virtio"

     

       
28
       
28
       
 
       
  "solo5-kernel-muen"

     

       
29
       
29
       
 
       
]

     

       
30
       
30
       
+
       
flags: deprecated

     

       
30
       
31
       
 
       
available:

     

       
31
       
32
       
 
       
  (arch = "x86_64" | arch = "x86_64" | arch = "arm64") &

     

       
32
       
33
       
 
       
  (os = "linux" | os = "freebsd" | os = "openbsd")

     

···

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
conflicts: "solo5-kernel-ukvm"

     

       
20
       
20
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
21
       
21
       
+
       
flags: deprecated

     

       
21
       
22
       
 
       
available: arch = "x86_64" & os != "macos"

     

       
22
       
23
       
 
       
synopsis: "Solo5 unikernel base (virtio target)"

     

       
23
       
24
       
 
       
description:

     

···

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
conflicts: "solo5-kernel-ukvm"

     

       
20
       
20
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
21
       
21
       
+
       
flags: deprecated

     

       
21
       
22
       
 
       
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

     

       
22
       
23
       
 
       
synopsis: "Solo5 unikernel base (virtio target)"

     

       
23
       
24
       
 
       
description: """

     

···

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
conflicts: "solo5-kernel-ukvm"

     

       
20
       
20
       
 
       
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

     

       
21
       
21
       
+
       
flags: deprecated

     

       
21
       
22
       
 
       
patches: [ "solo5-no-werror.diff" ]

     

       
22
       
23
       
 
       
synopsis: "Solo5 unikernel base (virtio target)"

     

       
23
       
24
       
 
       
description: """

     

···

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
conflicts: "solo5-kernel-ukvm"

     

       
20
       
20
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
21
       
21
       
+
       
flags: deprecated

     

       
21
       
22
       
 
       
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

     

       
22
       
23
       
 
       
synopsis: "Solo5 unikernel base (virtio target)"

     

       
23
       
24
       
 
       
description: """

     

···

       
21
       
21
       
 
       
  "solo5-kernel-muen"

     

       
22
       
22
       
 
       
]

     

       
23
       
23
       
 
       
x-ci-accept-failures: ["debian-unstable"]

     

       
24
       
24
       
+
       
flags: deprecated

     

       
24
       
25
       
 
       
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

     

       
25
       
26
       
 
       
synopsis: "Solo5 sandboxed execution environment (virtio target)"

     

       
26
       
27
       
 
       
description: """

     

···

       
22
       
22
       
 
       
  "solo5-kernel-muen"

     

       
23
       
23
       
 
       
]

     

       
24
       
24
       
 
       
available: (arch = "x86_64" | arch = "x86_64") & os != "macos"

     

       
25
       
25
       
+
       
flags: deprecated

     

       
25
       
26
       
 
       
synopsis: "Solo5 sandboxed execution environment (virtio target)"

     

       
26
       
27
       
 
       
description: """

     

       
27
       
28
       
 
       
Solo5 is a sandboxed execution environment primarily intended for, but not