Using Guix for hardware development

Using Guix for hardware development

[Tobias Alexandra Platen]

Since the version included in Debian is too old, I am using kicad
packaged via guix on my Talos II. This seems to work well, except that
OpenGL is using software rendering. I was able to open my old 
design of my lighthouse project. Next I will try to get OpenGL and
Vulkan working with my GPU. The hardware I am designing will meet the
criteria for Respects Your Freedom (RYF) certification, I am going to
use an iCE40 FPGA and RP2040 which are known to have libre toolchains
and plan to package libsurvive on guix soon.

Alex (they/them)

Re: Using Guix for hardware development

[Ekaitz Zarraga]

Hi,

On 2024-06-05 18:51, Tobias Alexandra Platen wrote:
> Since the version included in Debian is too old, I am using kicad
> packaged via guix on my Talos II. This seems to work well, except that
> OpenGL is using software rendering. I was able to open my old
> design of my lighthouse project. Next I will try to get OpenGL and
> Vulkan working with my GPU. The hardware I am designing will meet the
> criteria for Respects Your Freedom (RYF) certification, I am going to
> use an iCE40 FPGA and RP2040 which are known to have libre toolchains
> and plan to package libsurvive on guix soon.
> 
> Alex (they/them)
> 

I'm interested on following your process here. In Guix I found some 
issues with RP2040 because the toolchain doesn't work in Guix out of the 
box... Some #include_next issue. If you search the mailing list, I 
reported this message before and I plan to work a little bit on that in 
the future, once I'm done with the projects I have open right now.

Hope you find a good workaround soon. Also there are some emails in the 
list that claim to have a fix for it, and I know that it worked, but I 
didn't test myself.

Best of the luck, feel free to ping me with your research or share a 
blog or something where I can follow your progress.

Best,
Ekaitz