Articles

Meetup Debian Toulouse

Hi there ! My company Viveris is opening its office for hosting a Debian Meetup in Toulouse this summer (June 5th or June 12th). Everyone is welcome to this event, we're currently looking for volunteers for presenting demo, lightning talks or conferences (following the talks any kind of hacking session is possible like bugs triaging, coding sprints etc). Any kind of topic is welcome. See the announcement (in french) for more details.

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

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 adding sub