feat: improve linux-vm.nix ergonomics #162
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Nix | |
permissions: | |
contents: write | |
on: | |
pull_request: null | |
push: | |
branches: | |
- main | |
jobs: | |
x86_64-linux---packages---atf-aarch64-zcu102: | |
name: x86_64-linux---packages---atf-aarch64-zcu102 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.atf-aarch64-zcu102 --print-build-logs | |
x86_64-linux---packages---camkes-deps: | |
name: x86_64-linux---packages---camkes-deps | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.camkes-deps --print-build-logs | |
x86_64-linux---packages---capDL-tool: | |
name: x86_64-linux---packages---capDL-tool | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.capDL-tool --print-build-logs | |
x86_64-linux---packages---concurrencytest: | |
name: x86_64-linux---packages---concurrencytest | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.concurrencytest --print-build-logs | |
x86_64-linux---packages---crossStdenvAarch64: | |
name: x86_64-linux---packages---crossStdenvAarch64 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvAarch64 --print-build-logs | |
x86_64-linux---packages---crossStdenvAarch64OldBintools: | |
name: x86_64-linux---packages---crossStdenvAarch64OldBintools | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvAarch64OldBintools --print-build-logs | |
x86_64-linux---packages---crossStdenvArmv7l: | |
name: x86_64-linux---packages---crossStdenvArmv7l | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvArmv7l --print-build-logs | |
x86_64-linux---packages---crossStdenvArmv7lOldBintools: | |
name: x86_64-linux---packages---crossStdenvArmv7lOldBintools | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvArmv7lOldBintools --print-build-logs | |
x86_64-linux---packages---crossStdenvRiscv32: | |
name: x86_64-linux---packages---crossStdenvRiscv32 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvRiscv32 --print-build-logs | |
x86_64-linux---packages---crossStdenvRiscv64: | |
name: x86_64-linux---packages---crossStdenvRiscv64 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvRiscv64 --print-build-logs | |
x86_64-linux---packages---crossStdenvi686: | |
name: x86_64-linux---packages---crossStdenvi686 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvi686 --print-build-logs | |
x86_64-linux---packages---crossStdenvx86_64: | |
name: x86_64-linux---packages---crossStdenvx86_64 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.crossStdenvx86_64 --print-build-logs | |
x86_64-linux---packages---guardonce: | |
name: x86_64-linux---packages---guardonce | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.guardonce --print-build-logs | |
x86_64-linux---packages---linux-aarch64: | |
name: x86_64-linux---packages---linux-aarch64 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.linux-aarch64 --print-build-logs | |
x86_64-linux---packages---microkit-sdk: | |
name: x86_64-linux---packages---microkit-sdk | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---pyfdt | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.microkit-sdk --print-build-logs | |
x86_64-linux---packages---pmufw-mblaze-zcu102: | |
name: x86_64-linux---packages---pmufw-mblaze-zcu102 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.pmufw-mblaze-zcu102 --print-build-logs | |
x86_64-linux---packages---pyfdt: | |
name: x86_64-linux---packages---pyfdt | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.pyfdt --print-build-logs | |
x86_64-linux---packages---sd-aarch64-rpi4: | |
name: x86_64-linux---packages---sd-aarch64-rpi4 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---uboot-aarch64-rpi4 | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.sd-aarch64-rpi4 --print-build-logs | |
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt: | |
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-qemu-arm-virt | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---capDL-tool | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---crossStdenvAarch64OldBintools | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-qemu-arm-virt --print-build-logs | |
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1: | |
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx1 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---capDL-tool | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---crossStdenvAarch64OldBintools | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-tx1 --print-build-logs | |
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2: | |
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-tx2 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---capDL-tool | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---crossStdenvAarch64OldBintools | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-tx2 --print-build-logs | |
x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102: | |
name: x86_64-linux---packages---seL4-camkes-vm-examples-aarch64-zcu102 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---capDL-tool | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---crossStdenvAarch64OldBintools | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-aarch64-zcu102 --print-build-logs | |
x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422: | |
name: x86_64-linux---packages---seL4-camkes-vm-examples-armv7l-exynos5422 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---capDL-tool | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---crossStdenvArmv7lOldBintools | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-camkes-vm-examples-armv7l-exynos5422 --print-build-logs | |
x86_64-linux---packages---seL4-deps: | |
name: x86_64-linux---packages---seL4-deps | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-deps --print-build-logs | |
x86_64-linux---packages---seL4-kernel-aarch64: | |
name: x86_64-linux---packages---seL4-kernel-aarch64 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-aarch64 --print-build-logs | |
x86_64-linux---packages---seL4-kernel-arm: | |
name: x86_64-linux---packages---seL4-kernel-arm | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-arm --print-build-logs | |
x86_64-linux---packages---seL4-kernel-arm-hyp: | |
name: x86_64-linux---packages---seL4-kernel-arm-hyp | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-hyp --print-build-logs | |
x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5: | |
name: x86_64-linux---packages---seL4-kernel-arm-hyp-exynos5 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-hyp-exynos5 --print-build-logs | |
x86_64-linux---packages---seL4-kernel-arm-imx8mm: | |
name: x86_64-linux---packages---seL4-kernel-arm-imx8mm | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-imx8mm --print-build-logs | |
x86_64-linux---packages---seL4-kernel-arm-mcs: | |
name: x86_64-linux---packages---seL4-kernel-arm-mcs | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-arm-mcs --print-build-logs | |
x86_64-linux---packages---seL4-kernel-riscv64: | |
name: x86_64-linux---packages---seL4-kernel-riscv64 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-riscv64 --print-build-logs | |
x86_64-linux---packages---seL4-kernel-riscv64-mcs: | |
name: x86_64-linux---packages---seL4-kernel-riscv64-mcs | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-riscv64-mcs --print-build-logs | |
x86_64-linux---packages---seL4-kernel-x64: | |
name: x86_64-linux---packages---seL4-kernel-x64 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-kernel-x64 --print-build-logs | |
x86_64-linux---packages---seL4-moritz-fork-arm: | |
name: x86_64-linux---packages---seL4-moritz-fork-arm | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm --print-build-logs | |
x86_64-linux---packages---seL4-moritz-fork-arm-hyp: | |
name: x86_64-linux---packages---seL4-moritz-fork-arm-hyp | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm-hyp --print-build-logs | |
x86_64-linux---packages---seL4-moritz-fork-arm-mcs: | |
name: x86_64-linux---packages---seL4-moritz-fork-arm-mcs | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-arm-mcs --print-build-logs | |
x86_64-linux---packages---seL4-moritz-fork-x64: | |
name: x86_64-linux---packages---seL4-moritz-fork-x64 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-moritz-fork-x64 --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk: | |
name: x86_64-linux---packages---seL4-test-aarch64-imx8mq-evk | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-imx8mq-evk --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB: | |
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-1GB | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-1GB --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB: | |
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-2GB | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-2GB --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB: | |
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-4GB | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-4GB --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB: | |
name: x86_64-linux---packages---seL4-test-aarch64-rpi4-8GB | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-rpi4-8GB --print-build-logs | |
x86_64-linux---packages---seL4-test-aarch64-zcu102: | |
name: x86_64-linux---packages---seL4-test-aarch64-zcu102 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvAarch64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-aarch64-zcu102 --print-build-logs | |
x86_64-linux---packages---seL4-test-armv7l-rpi3: | |
name: x86_64-linux---packages---seL4-test-armv7l-rpi3 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvArmv7l | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-rpi3 --print-build-logs | |
x86_64-linux---packages---seL4-test-armv7l-zynq7000: | |
name: x86_64-linux---packages---seL4-test-armv7l-zynq7000 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvArmv7l | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-zynq7000 --print-build-logs | |
x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate: | |
name: x86_64-linux---packages---seL4-test-armv7l-zynq7000-simulate | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvArmv7l | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-armv7l-zynq7000-simulate --print-build-logs | |
x86_64-linux---packages---seL4-test-i686-ia32: | |
name: x86_64-linux---packages---seL4-test-i686-ia32 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvi686 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-i686-ia32 --print-build-logs | |
x86_64-linux---packages---seL4-test-i686-ia32-simulate: | |
name: x86_64-linux---packages---seL4-test-i686-ia32-simulate | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvi686 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-i686-ia32-simulate --print-build-logs | |
x86_64-linux---packages---seL4-test-x86_64-x86_64: | |
name: x86_64-linux---packages---seL4-test-x86_64-x86_64 | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvx86_64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-x86_64-x86_64 --print-build-logs | |
x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate: | |
name: x86_64-linux---packages---seL4-test-x86_64-x86_64-simulate | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---crossStdenvx86_64 | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.seL4-test-x86_64-x86_64-simulate --print-build-logs | |
x86_64-linux---packages---uboot-aarch64-rpi4: | |
name: x86_64-linux---packages---uboot-aarch64-rpi4 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.uboot-aarch64-rpi4 --print-build-logs | |
x86_64-linux---packages---uboot-aarch64-zcu102: | |
name: x86_64-linux---packages---uboot-aarch64-zcu102 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.uboot-aarch64-zcu102 --print-build-logs | |
x86_64-linux---packages---uboot-armv7l-zynq-zc702: | |
name: x86_64-linux---packages---uboot-armv7l-zynq-zc702 | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#packages.x86_64-linux.uboot-armv7l-zynq-zc702 --print-build-logs | |
x86_64-linux---devShells---default: | |
name: x86_64-linux---devShells---default | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---camkes-deps | |
- x86_64-linux---packages---concurrencytest | |
- x86_64-linux---packages---guardonce | |
- x86_64-linux---packages---pyfdt | |
- x86_64-linux---packages---seL4-deps | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#devShells.x86_64-linux.default --print-build-logs | |
x86_64-linux---devShells---microkit: | |
name: x86_64-linux---devShells---microkit | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---packages---microkit-sdk | |
- x86_64-linux---packages---pyfdt | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#devShells.x86_64-linux.microkit --print-build-logs | |
x86_64-linux---checks---formatting: | |
name: x86_64-linux---checks---formatting | |
runs-on: | |
- ubuntu-latest | |
needs: [] | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Build | |
run: nix build .#checks.x86_64-linux.formatting --print-build-logs | |
x86_64-linux---check: | |
name: Check on x86_64-linux | |
runs-on: | |
- ubuntu-latest | |
needs: | |
- x86_64-linux---checks---formatting | |
steps: | |
- uses: actions/checkout@v4 | |
- uses: cachix/install-nix-action@v25 | |
with: | |
nix_path: nixpkgs=channel:nixos-unstable | |
- uses: cachix/cachix-action@v14 | |
with: | |
name: dlr-ft | |
authToken: ${{ secrets.CACHIX_AUTH_TOKEN }} | |
- name: Check | |
run: nix flake check . --print-build-logs |