Florian Agbuya

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

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

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 »

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

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

0ff299aa55 increase qemu image size

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

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

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.

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

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

03a7b2a75e increase qemu image size

c2d38540c0 integrate linien-server to not-os

Compare 2 commits »

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

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

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…

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

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

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.

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

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

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 »

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

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

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 »

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

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

64d83bc50d increase qemu image size

733b809881 integrate linien-server to not-os

0d3f87c5bc use nix gnu toolchain format for baremetal apps

Compare 3 commits »

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

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

Configure arm linux toolchain

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

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

d9a2d60b50 configure arm linux toolchain

26dd210eb6 rebase from 251f65f

251f65f217 cross-compilation transferred to crossSystem

Compare 3 commits »

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

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

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

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

Use nix format for arm gnu toolchain

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

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

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 »

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

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

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

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

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…

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

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

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…

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

2024-03-25 16:20:52 +08:00

Use nix gnu toolchain format for baremetal apps

Okay. Looks good - at least this code does. Can you send a similar PR in zynq-rs as well?

Will do.

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

2024-03-25 15:28:59 +08:00

Use nix gnu toolchain format for baremetal apps

fsagbuya created branch zynq-baremetal in fsagbuya/nix-servo

2024-03-25 15:14:29 +08:00