6 Commits
Author SHA1 Message Date
Autumn LiuandClaude Sonnet 5 a12c18386d actually bind /dev/kvm into the container, and test it initializes
diff-pr / dix (pull_request) Successful in 6m48s
flake-check / flake-check (pull_request) Successful in 4m39s
lint / lint (pull_request) Successful in 1m47s
DeviceAllow= only grants cgroup permission to open a device node - it
doesn't create one, and nspawn can't mknod a device inside a user
namespace. The node needs an explicit bind from the host as well, so
both are required together.

Also add a test that actually boots qemu-system-x86_64 -enable-kvm
(no disk, killed by timeout) and checks for "Permission denied" /
"Could not access KVM" in its output, rather than just checking the
node opens - a wrong-gid or unmapped node still opens but fails the
ioctls qemu needs.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Dzy7tEKLCFFXD96LmR8we3
2026-09-13 20:23:36 -05:00
Autumn Liu e8cc76844d fix bug 2026-09-13 20:23:36 -05:00
Autumn Liu f9d92fc62d update 2026-09-13 20:23:35 -05:00
Floweynt 060863f72f tests: require devices more strictly
diff-tag / dix (push) Successful in 6m2s
flake-check / flake-check (push) Successful in 4m5s
lint / lint (push) Successful in 1m46s
2026-09-12 12:28:25 -05:00
8190b0080d containerization (#3)
diff-tag / dix (push) Successful in 6m11s
flake-check / flake-check (push) Successful in 51s
lint / lint (push) Successful in 1m47s
Co-authored-by: Floweynt <50057682+Floweynt@users.noreply.github.com>
Co-authored-by: Autumn Liu <al63244@my.utexas.edu>
Reviewed-on: #3
Co-authored-by: autumn <aut.tea7@gmail.com>
2026-09-12 06:40:11 +00:00
floweyandFloweynt af5d7493af ci: fix vulnix GITHUB_OUTPUT format error (#4)
diff-tag / dix (push) Successful in 6m4s
flake-check / flake-check (push) Successful in 52s
lint / lint (push) Successful in 1m48s
Co-authored-by: Floweynt <floweydev@gmail.com>
Reviewed-on: #4
2026-09-12 01:36:03 +00:00
5 changed files with 37 additions and 14 deletions
-4
View File
@@ -5,10 +5,6 @@ on:
- cron: "0 6 * * 1"
workflow_dispatch:
permissions:
contents: read
issues: write
jobs:
scan:
runs-on: nix
+5 -2
View File
@@ -33,13 +33,16 @@ def gitea(method, path, body=None):
req.add_header("Authorization", f'token {os.environ["GH_TOKEN"]}')
if data is not None:
req.add_header("Content-Type", "application/json")
try:
with urllib.request.urlopen(req) as resp:
raw = resp.read()
except urllib.error.HTTPError as e:
sys.exit(f"gitea {method} {path}: {e.code} {e.reason}\n{e.read().decode()}")
return json.loads(raw) if raw else None
def find_open_issue(label):
issues = gitea("GET", f"/issues?state=open&labels={label}")
issues = gitea("GET", f"/issues?state=open&type=issues&labels={label}")
return issues[0] if issues else None
@@ -236,7 +239,7 @@ def format_vulnix(vulns):
for v in vulns:
for cve in v["affected_by"]:
score = v.get("cvssv3_basescore", {}).get(cve)
desc = v.get("description", {}).get(cve, "")
desc = v.get("description", {}).get(cve, "").replace("\n", " ").replace("|", "∣")
if len(desc) > 120:
desc = desc[:117] + "..."
rows.append((v["pname"], v["version"], cve, score, desc))
-1
View File
@@ -75,7 +75,6 @@ let
packages = with pkgs; [ tmux ] ++ packages;
miscProperties = self._sshpiperRegister routingInfo;
};
in
{
ssh-admin = mkSsh {
+12 -5
View File
@@ -222,10 +222,14 @@ rec {
: Bind mounts, keyed by mount point.
`resources.devices`
: Host device nodes to expose, as paths. Bound into the container's `/dev`
and added to the unit's `DeviceAllow=` - the bind alone leaves the cgroup
denying `open()`. Nodes keep their host ownership, so a consumer inside
needs `isolation.privateUsers = "identity"` for the owning gid to mean
: Host device nodes to expose, as paths. Bound into the container at the
same path and added to the unit's `DeviceAllow=` - the cgroup
permission alone doesn't get you a working node (nothing can `mknod` a
device inside a user namespace), and the bind alone leaves the cgroup
denying `open()`, so both are needed. The bind is unconditional, so
the device must actually exist on whatever host runs the container.
Nodes keep their host ownership, so a consumer inside needs
`isolation.privateUsers = "identity"` for the owning gid to mean
anything.
`isolation.nixDaemon`
@@ -285,7 +289,7 @@ rec {
allBindMounts = builtins.foldl' (acc: t: acc // (t.resources.fs or { })) { } traits // bindMounts;
userModules = map mkUser (lib.concatMap (t: t.users or [ ]) traits ++ users);
allPorts = ports ++ map (p: (normalizePort p).container) hostPorts;
useIdmap = privateUsers != "no";
useIdmap = privateUsers == "pick" || (builtins.isInt privateUsers && privateUsers > 0);
bindMountExtraFlags = lib.mapAttrsToList (
mountPoint: bm:
(if bm.isReadOnly then "--bind-ro=" else "--bind=")
@@ -293,6 +297,9 @@ rec {
+ lib.optionalString useIdmap ":idmap"
) allBindMounts;
bindMountHostPaths = map (bm: bm.hostPath) (lib.attrValues allBindMounts);
# DeviceAllow= alone only grants cgroup permission - nspawn can't
# mknod a device node inside a user namespace, so the node still
# needs an explicit bind from the host.
deviceFlags = map (d: "--bind=${d}") devices;
inherit (deriveIdentity ifPrefix.nspawn name)
iface
+18
View File
@@ -337,6 +337,24 @@ with subtest("(functional): declared devices are usable in-container"):
server.succeed(ct_cmd(name, f"exec 3<> {dev}"))
with subtest("(functional): /dev/kvm actually initializes, not just opens"):
# a wrong-gid or unmapped node still opens but fails the ioctls qemu
# needs, so boot with no disk (never completes) and kill it - the
# failure mode this catches is qemu refusing to start at all.
for name, devices in DEVICES.items():
if "/dev/kvm" not in devices:
continue
out = server.succeed(
ct_cmd(
name,
f"{TIMEOUT} 3 qemu-system-x86_64 -enable-kvm -m 256 -nographic -no-reboot "
">/tmp/qemu.out 2>&1; cat /tmp/qemu.out",
)
)
assert "Permission denied" not in out, f"{name}: qemu couldn't use /dev/kvm:\n{out}"
assert "Could not access KVM" not in out, f"{name}: qemu couldn't use /dev/kvm:\n{out}"
with subtest("(isolation): devices reach only the container that declared them"):
for name in enterable:
for dev in {d for ds in DEVICES.values() for d in ds} - set(DEVICES.get(name, [])):