Florian Agbuya fsagbuya
  • Joined on 2023-09-27
fsagbuya pushed to var at fsagbuya/nix-servo 2024-01-02 17:10:26 +08:00
f14b459624 flake: apply not-os patches
f172746e89 add not-os nixpkgs related patches
0f97509b78 add not-os zynq related patches
Compare 3 commits »
fsagbuya pushed to var at fsagbuya/nix-servo 2024-01-02 14:06:09 +08:00
3f92b3f13b activationSripts: add previous var value (closes #6)
d12dee6198 flake: update flake inputs
Compare 2 commits »
fsagbuya pushed to sdimage at fsagbuya/nix-servo 2024-01-02 13:44:06 +08:00
18146ae313 flake: add not-os disk image builder and qemu
d12dee6198 flake: update flake inputs
791e9abd7a update flake inputs
Compare 3 commits »
fsagbuya pushed to master at M-Labs/nix-servo 2024-01-02 13:42:12 +08:00
d12dee6198 flake: update flake inputs
fsagbuya pushed to var at fsagbuya/nix-servo 2024-01-02 12:27:02 +08:00
92849467c2 activationSripts: add previous var value (closes #6)
fsagbuya commented on pull request M-Labs/nix-servo#15 2024-01-02 11:13:43 +08:00
WIP: Fix missing privilege separation directory: /var/empty

I already told you what is wrong about this way of updating patches and proposed a solution. Please pay attention.

I misunderstood. Will propose a solution to add the patches to this repo…

fsagbuya pushed to var at fsagbuya/nix-servo 2024-01-02 11:05:14 +08:00
903bdd09a7 update not-os patch (closes #6)
fsagbuya pushed to sdimage at fsagbuya/nix-servo 2024-01-02 10:54:59 +08:00
3aa5b425d6 flake: add not-os disk image builder and qemu
fsagbuya commented on pull request M-Labs/nix-servo#10 2024-01-02 10:51:58 +08:00
add not-os disk image builder and qemu

Understood. Will do some cleanup once testing is done and add the support for fast-servo.

fsagbuya commented on pull request M-Labs/nix-servo#10 2024-01-02 10:47:35 +08:00
add not-os disk image builder and qemu

Will add multiple board management in the next PR. I'm seeing zc702 and zedboard from Xilinx, may I confirm if these are the ones to be added?

fsagbuya commented on pull request M-Labs/nix-servo#10 2024-01-02 10:43:33 +08:00
add not-os disk image builder and qemu

Will add this on a separate PR since editing the case of uRamdisk will require not-os hash update, or are you pointing to uramdisk.image.gz that is inconsistent?

fsagbuya pushed to sdimage at fsagbuya/nix-servo 2024-01-02 10:39:37 +08:00
6fd302b8a5 flake: add not-os disk image builder and qemu
fsagbuya commented on pull request M-Labs/nix-servo#10 2023-12-27 21:04:10 +08:00
add not-os disk image builder and qemu

Rearranged the arguments for clarity while maintaining their intended function.

fsagbuya pushed to sdimage at fsagbuya/nix-servo 2023-12-27 20:59:23 +08:00
d14d965e81 flake: add not-os disk image builder and qemu
fsagbuya commented on pull request M-Labs/nix-servo#10 2023-12-27 14:02:45 +08:00
add not-os disk image builder and qemu

Usage here is only for direct backing of the current img format, otherwise we can convert the raw image first to qcow2 (or other format recommended) then apply overlay to it.

fsagbuya commented on pull request M-Labs/nix-servo#10 2023-12-27 11:31:00 +08:00
add not-os disk image builder and qemu

-F raw is the detected backing format for the img file

qemu-img: /tmp/tmp.4H8j6kjlht/sd-overlay.qcow2: Backing file specified without backing format
Detected format of raw.
fsagbuya pushed to sdimage at fsagbuya/nix-servo 2023-12-27 11:27:03 +08:00
c10d81fb3b flake: add not-os disk image builder and qemu
fsagbuya pushed to sdimage at fsagbuya/nix-servo 2023-12-27 11:25:10 +08:00
e00f47f5bb flake: add not-os disk image builder and qemu
fsagbuya pushed to sdimage at fsagbuya/nix-servo 2023-12-23 13:26:51 +08:00
34a6d026fd flake: add not-os disk image builder and qemu
fsagbuya created pull request M-Labs/nix-servo#15 2023-12-22 19:30:10 +08:00
Fix missing privilege separation directory: /var/empty