Florian Agbuya fsagbuya
0 Followers · 2 Following
  • Joined on 2023-09-27
Repositories
6
 Projects Packages Code Public Activity Starred Repositories
1
fsagbuya pushed to kernel-nixpkgs at fsagbuya/nix-servo 2024-03-05 09:51:46 +08:00
22992e2e82 update nixpkgs and use upstream qemu
fsagbuya created branch kernel-nixpkgs in fsagbuya/nix-servo 2024-03-05 09:18:26 +08:00
fsagbuya pushed to kernel-nixpkgs at fsagbuya/nix-servo 2024-03-05 09:18:26 +08:00
e450156e63 update nixpkgs and use upstream qemu
fsagbuya commented on pull request M-Labs/nix-servo#43 2024-03-04 17:58:48 +08:00
linux: add fpga support

It's called pr-28.patch but it does not match https://github.com/cleverca22/not-os/pull/28/files

Pushed updates.

fsagbuya created pull request M-Labs/nix-servo#43 2024-03-04 17:47:58 +08:00
linux: add fpga support
fsagbuya created branch linux-fpga in fsagbuya/nix-servo 2024-03-04 17:40:54 +08:00
fsagbuya pushed to linux-fpga at fsagbuya/nix-servo 2024-03-04 17:40:54 +08:00
d6ac3944fb linux: add fpga support
fsagbuya created pull request M-Labs/nix-servo#41 2024-03-01 18:11:59 +08:00
Fix qemu build errors
fsagbuya pushed to qemu at fsagbuya/nix-servo 2024-03-01 18:10:07 +08:00
c61597ea4f fix qemu build errors
fsagbuya created branch qemu in fsagbuya/nix-servo 2024-03-01 18:10:06 +08:00
fsagbuya opened issue M-Labs/nix-servo#40 2024-03-01 17:22:02 +08:00
Use the upstream qemu
fsagbuya created pull request M-Labs/nix-servo#39 2024-03-01 17:19:44 +08:00
Move not-os patches to dedicated folder
fsagbuya pushed to not-os-patches at fsagbuya/nix-servo 2024-03-01 17:14:37 +08:00
efe58d8106 move not-os patches to dedicated folder
fsagbuya created branch not-os-patches in fsagbuya/nix-servo 2024-03-01 17:14:36 +08:00
fsagbuya pushed to linien-server at fsagbuya/nix-servo 2024-03-01 16:49:01 +08:00
f84ae926ca add linien-server package
007ca18cab fix homeless-shelter error
506bbcc0db add fast-servo linien gateware
e12b672cdc add __pycache__
cd9590503c add fast-servo gateware support files
Compare 6 commits »
fsagbuya pushed to gateware at fsagbuya/nix-servo 2024-03-01 16:27:08 +08:00
ad725ae41b fix homeless-shelter error
fsagbuya commented on pull request M-Labs/nix-servo#37 2024-03-01 16:12:00 +08:00
Add fast-servo linien gateware

Updated: Also need to modify the file __init__.py :

    >   File "/nix/store/04nl55kmfkaacbv7v…
fsagbuya pushed to gateware at fsagbuya/nix-servo 2024-03-01 16:11:59 +08:00
ccdbd67daa fix homeless-shelter error
fsagbuya commented on pull request M-Labs/nix-servo#37 2024-03-01 14:46:55 +08:00
Add fast-servo linien gateware

The config.py file that requires modification is part of the linien-common dependency:

nativeBuildInputs = [
          (pkgs.python3.withPackages(ps: [ migen misoc ps.linien-common…
fsagbuya commented on pull request M-Labs/nix-servo#37 2024-03-01 12:26:24 +08:00
Add fast-servo linien gateware

Removing it will cause it to create a copy the linien-gateware directory itself and not the contents alone.

ls result:

b535q358y1izxkmd4zfijf51ws9fsrn7-linien-gateware