Daniel Lundin
c59ea29957
All checks were successful
ci/woodpecker/pr/ci Pipeline was successful
We want verity protected partitions as well as encrypted state/data along with verified boot. This PR integrates Peter Marshall's awesome little Nixlet project as a starting point, especially the nice testing scaffolding will be super helpful! ✨ https://github.com/petm5/nixlet/
19 lines
288 B
Makefile
19 lines
288 B
Makefile
set shell := ["/usr/bin/env", "bash", "-euo", "pipefail", "-c"]
|
|
|
|
[private]
|
|
default:
|
|
@just --list
|
|
|
|
# Update nix flake
|
|
update:
|
|
nix flake update
|
|
|
|
# Build all targets
|
|
build: build-image
|
|
|
|
# Build PatOS image
|
|
build-image:
|
|
nix build .#patos
|
|
|
|
run: build-image
|
|
qemu-uefi-tpm ./result/*.img
|