My Raspberry PI 4 4GB

-
Hi,

I have received my Raspberry PI 4 4GB that has been funded by the Debian project. I would like to thank the DPL and Gunnar Wolf for this (who vouched for me).

So today, I have unpacked the board and tested it with the default flashed noobs/raspbian, so I check that everything is working as expected (from the hw point of view, I already had bad suprises in the past with some evaluation boards).

Interesting topics will come soon, mostly about booting a debian testing/sid on it , adding support to raspi-firmware and the linux kernel for enabling support for the pi 4 and some variants drivers for the bcm2711.





See you !

Commentaires

Enregistrer un commentaire

Posts les plus consultés de ce blog

Add support for F2FS filesystem to GRUB and initramfs-tools

-
Hi there, For these like me who want to change their root filesystem to F2FS, I have enabled support for adding the F2FS module in the EFI signed image of grub in Debian (commit) . So the grub EFI image can load configuration, kernel images and initrd from a /boot that is formatted in F2FS (the upstream grub supports the filesystem since 2.04). Now that the kernel is loading it must be able to mount the rootfs. In Debian, a lot of features like some filesystems or some drivers are built as modules, this allow to be able to boot and work on a lot of different machines without have to build-in statically everything into the linux kernel image. This is why we use an initramfs , it offers a variety of cool features and detects magically some details for you like "load the brtfs module or your favorite emmc driver as module". If you want to use F2FS as your main filesystem on your rootfs, we need to add F2FS as base module into initramfs-tools (that handles all the scripts and
Lire la suite

Free software activities in May, June and July 2019

-
Hi Planet, it is been a long time since my last post. Here is an update covering what I have been doing in my free software activities during May, June and July 2019. May Only contributions related to Debian were done in May  linux: Update to 5.1 (including porting of all debian patches to the new release) linux: Update to 5.1.2 linux: Update to 5.1.3 linux: Update to 5.1.5 firmware-nonfree: misc-nonfree: Add GV100 signed firmwares (Closes: #928672) June Debian linux: Update to 5.1.7 linux: Update to 5.1.8 linux: Update to 5.1.10 linux: Update to 5.1.11 linux: Update to 5.1.15 linux: [sparc64] Fix device naming inconsistency between sunhv_console and sunhv_reg (Closes: #926539) raspi3-firmware:  New upstream version 1.20190517 raspi3-firmware: New upstream version 1.20190620+1 Kernel Self Protection Project I have recently joined the kernel self protection protect, which basically intends to harden the mainline linux kernel the most as possible by adding sub
Lire la suite

Announcing official IRC channel for Raspberry PI in Debian

-
Hi ! Debian for Raspberry Pi exists since few months on IRC, but nothing were done for creating an official channel (see https://wiki.debian.org/IRC ) nor communication for announcing this channel on planet. The creation of #debian-raspberrypi, the official Debian channel for topics related to the Raspberry Pi boards in Debian, was done two weeks ago, so this is the right moment to announce it officially ! Join us and say hello !
Lire la suite