Thomas Perrot

icon indicating a website link https://linktr.ee/tprrt icon indicating an email [email protected]

icon company @bootlin icon location Toulouse Area, France icon location Embedded Linux and kernel engineer @bootlin

Results 46 comments of Thomas Perrot

I want to load the device tree from the SD card

This issue is no longer relevant.

Centos build or prebuilt binaries

This issue is no longer relevant.

libstdc++.so.6: version `GLIBCXX_3.4.29' not found (required by re2c)

This issue is no longer relevant.

Add OpenEmbedded helper target

This issue is no longer relevant.

Iptables fails to load both as module or built-in

This issue is no longer relevant.

Gcc Command not found in buildroot

This issue is no longer relevant.

Linux config for U500 VC707 FPGA Dev Kit, no graphics card

This issue is no longer relevant.

RISCV-PK Non-CISA build

This issue no longer occurs.

Add radeon firmware instead of depending on host system

This issue is no longer relevant.

Does not let me reprogram expansion board bitstream

This issue is no longer relevant.