Articles

My Raspberry PI 4 4GB

Image
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 !

RaspberryPi 3 desktop image running Debian Buster 10.2

Image
Hi ! The Capitole Du Libre 2019 happened two weekend ago on 16th-17th November. I have helped the DebianFrance team on the Debian booth. It was a super event with a lot of cool and interesting people ! We promoted the Debian project and I have also presented a demo of a Raspberry PI 3 running a fresh debian 10.2 with a mainline linux kernel (for instance 4.19.x) with V3D or llvmpipe.  The different persons I met were very interested by the availability of the image, so I have decided to write a debos recipe from scratch for ARM64-based RaspberryPI. This is a desktop oriented image. It will start an lxde session automatically with the "pi" user. The root accound is locked but you can use sudo with the "pi" user. You can find the recipe here . You can build an image ready to flash with the following commands: $ git clone https://salsa.debian.org/raspi-team/image-specs.git $ cd image-specs/debos $ debos raspberrypi-desktop_arm64.yaml It should produ...

Capitole du Libre 2019

Hi ! The Capitole Du Libre is a french event that takes place at INP-ENSEEIHT in Toulouse. It is an event dedicated to free and open source softwares. The Capitole Du Libre 2019 will happen this weekend on 16th-17th November. There will be a Debian booth with the DebianFrance team, I will be there to help them. A lot of interesting talks will be presented, see the schedule here . Viveris , my company, is a gold sponsor this year. During the year, some of my contributions are sponsorised by my company. Viveris also sponsorised the demo I am going to present at the Debian booth, many thanks to her !

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 !

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 a...

My work on Debian (April 2019)

Hi, This is a summary of what I have done in April 2019 on Debian Changes I have uploaded raspi3-firmware 1.20190215-2 to sid I have bumped raspi3-firmware to 1.20190401-1 I have bumped the preempt_rt kernel to 4.19.37-rt19 in sid I have bumped the experimental kernel to 5.0.7 I have bumped the experimental preempt_rt kernel to 5.0.7-rt5 I have bumped the experimental kernel to 5.0.8 I have bumped the experimental kernel to 5.0.9 I have bumped the experimental kernel to 5.0.10  Issues I have removed extra binary files from the orig tarball in raspi3-firmware, this closes #924315  I have enabled support for the coreboot memconsole in kernel 5.0.x. It has been backported into sid and should be part of buster. This closes bug #872069

My work on Debian (March 2019)

This is a summary of what I have done in March 2019 on Debian (well, a bit late) Changes I have bumped linux to 4.19.27 in sid, see  commit I have bumped linux to 4.19.28 in sid, see  commit I have bumped linux to 5.0.5 in master, see commit I have bumped ethtool to 5.0, see  commit New features I have re-worked the commit to get support for Raspberry PI 1 and Raspberry PI Zero for armel mergeable in the Linux kernel, see commit Patch for enabling support for CRASH_DUMP for armel and armhf was merged, see  commit   Patch for enabling support for STRICT_MODULE_RWX in the Linux kernel was merged, see  commit Issues Changed raspi3-firmware to make the consoles easily configurable in cmdline.txt, this closes bug #926325, see commit Changed raspi3-firmware to use arm_64bit instead of the arm_control bitfields for controlling 64bits mode, this closes bug #925062, see commit      Switched raspi3-firmware to u...