Florian Agbuya fsagbuya

0 Followers · 1 Following

• Joined on 2023-09-27

Repositories

5

Projects Packages Code Public Activity Starred Repositories

1

Loading Heatmap…

fsagbuya pushed to fast-servo-init at fsagbuya/nix-servo

• cc0879fcb0 add pyfastservo package and initialize at boot
• e08897acce configure loading of bitstream at boot time
• Compare 2 commits »

2024-04-05 15:37:38 +08:00

fsagbuya pushed to fast-servo-init at fsagbuya/nix-servo

• e149095e81 add device init scripts and initialize at boot
• f06638a39a configure loading of bitstream at boot time
• Compare 2 commits »

2024-04-04 17:09:36 +08:00

fsagbuya commented on pull request M-Labs/nix-servo#52

Add bitstream loading and run init scripts at boot time

I can combine the `systemPackages` and `postBootCommands` to a single derivation and call it `fast-servo-config` or something. Is that acceptable?

2024-04-04 16:52:49 +08:00

fsagbuya pushed to fast-servo-init at fsagbuya/nix-servo

• b7578e175a add device init scripts and initialize at boot
• 3c025e049d configure loading of bitstream at boot time
• 0ff299aa55 increase qemu image size
• c2d38540c0 integrate linien-server to not-os
• d9a2d60b50 configure arm linux toolchain
• Compare 7 commits »

2024-04-04 14:58:05 +08:00

fsagbuya pushed to linien-server at fsagbuya/nix-servo

• 0ff299aa55 increase qemu image size

2024-04-04 13:43:31 +08:00

fsagbuya commented on pull request M-Labs/nix-servo#50

Integrate linien-server to not-os

The error came from inheriting the same x86_64 `pkgs` in building the linien-server and dependencies. Updated it to use the `armv7l` version.

2024-04-04 13:12:15 +08:00

fsagbuya pushed to linien-server at fsagbuya/nix-servo

• 03a7b2a75e increase qemu image size
• c2d38540c0 integrate linien-server to not-os
• Compare 2 commits »

2024-04-04 13:09:07 +08:00

fsagbuya commented on pull request M-Labs/nix-servo#50

Integrate linien-server to not-os

> Please investigate this bug. Will do. > What are the contents of /run/current-system/sw/bin/linien-server ? ``` #! /nix/store/087167dfxal194pm54cmcbbxsfy3cjgn-bash-5.2p26/bin/bash…

2024-04-03 13:16:46 +08:00

fsagbuya commented on pull request M-Labs/nix-servo#50

Integrate linien-server to not-os

``` 1015M -r--r--r-- 2 root root 1.1G Jan 1 1970 sd-image.img ``` Will reduce it to 2G.

2024-04-03 12:52:57 +08:00

fsagbuya pushed to linien-server at fsagbuya/nix-servo

• 4061bf53ac increase qemu image size
• 4bc9fe7d9a integrate linien-server to not-os
• d9a2d60b50 configure arm linux toolchain
• 26dd210eb6 rebase from 251f65f
• 251f65f217 cross-compilation transferred to crossSystem
• Compare 5 commits »

2024-04-03 12:45:45 +08:00

fsagbuya pushed to fast-servo-init at fsagbuya/nix-servo

• ff8bf82988 add device init scripts and initialize at boot
• 7a49e80c5a configure loading of bitstream at boot time
• 64d83bc50d increase qemu image size
• 733b809881 integrate linien-server to not-os
• 0d3f87c5bc use nix gnu toolchain format for baremetal apps
• Compare 5 commits »

2024-04-02 10:50:12 +08:00

fsagbuya pushed to linien-server at fsagbuya/nix-servo

• 64d83bc50d increase qemu image size
• 733b809881 integrate linien-server to not-os
• 0d3f87c5bc use nix gnu toolchain format for baremetal apps
• Compare 3 commits »

2024-04-02 10:35:35 +08:00

fsagbuya created pull request M-Labs/nix-servo#54

Configure arm linux toolchain

2024-03-26 18:04:40 +08:00

fsagbuya created branch linux-toolchain in fsagbuya/nix-servo

2024-03-26 17:53:41 +08:00

fsagbuya pushed to linux-toolchain at fsagbuya/nix-servo

• d9a2d60b50 configure arm linux toolchain
• 26dd210eb6 rebase from 251f65f
• 251f65f217 cross-compilation transferred to crossSystem
• Compare 3 commits »

2024-03-26 17:53:41 +08:00

fsagbuya created pull request M-Labs/zynq-rs#113

Use nix format for arm gnu toolchain

2024-03-25 17:26:24 +08:00

fsagbuya created branch gnu-toolchain in fsagbuya/zynq-rs

2024-03-25 17:20:48 +08:00

fsagbuya pushed to gnu-toolchain at fsagbuya/zynq-rs

• 195a21fe78 use nix format for arm gnu toolchain
• 96cefe6f06 update fsbl source
• 7c58c0cf43 abort: rename to exception_vectors
• 9005b73316 experiment: add set_vector_table example
• b1994dbe16 abort: support custom exception vector table addr
• Compare 7 commits »

2024-03-25 17:20:48 +08:00

fsagbuya commented on issue M-Labs/nix-servo#1

We only need one GCC toolchain

> Okay. How many toolchains do we have in total right now? From this point, I think we still have 3: - baremetal toolchain (newlib) - pkgs.pkgsCross.armv7l-hf-multiplatform (generic armv7l…

2024-03-25 16:39:01 +08:00

fsagbuya commented on issue M-Labs/nix-servo#1

We only need one GCC toolchain

> U-Boot doesn't also need newlib? I tried to build it using the newlib toolchain, but from the error log, it seems it is dependent on linux toolchain: ``` error: builder for '/nix/store/rmypq…

2024-03-25 16:25:59 +08:00