Miquèl Raynal
Embedded Linux Engineer at Bootlin
Toulouse, Occitania, France
Summary
👤
Senior🎓
Top SchoolMiquèl Raynal is an Embedded Linux engineer with a decade of hands-on experience designing kernel drivers and platform support for SoCs, currently contributing at Bootlin from Toulouse. He is a recognized Linux kernel NAND/MTD maintainer and active upstream contributor to high-profile projects such as torvalds/linux and u-boot, notably adding SPI-NAND DTR support, OTP handling, and the ->exec_op() interface to modernize raw NAND communication. His work spans bootloader and kernel layers, device-tree and PHY/clock/power domain integrations, and he has upstreamed platform enablement for Marvell Armada and A3700 families. Prior roles include building Yocto-based distributions and low-level drivers for Freescale i.MX platforms, demonstrating strong cross-domain skills from boot to userland tooling. Colleagues value his propensity to refactor legacy subsystems into cleaner, reusable abstractions (e.g., generic ECC engine and MTD partitions rework). He combines formal engineering training from INSA Toulouse and international study at Nanyang Technological University with a pragmatic, upstream-first approach to embedded systems development.
10 years of coding experience
2 years of employment as a software developer
Electrical and Electronic Engineering department & Computer Engineering department, Electrical and Electronic Engineering department & Computer Engineering department at Nanyang Technological UniversityBaccalauréat Scientifique, Spécialité Mathématiques, Baccalauréat Scientifique, Spécialité Mathématiques at Lycée général et technologique de Caussade-MonteilsSpécialité Automatique et Électronique, Ingénierie des composants, matériaux et systèmes - Systèmes embarqués, Spécialité Automatique et Électronique, Ingénierie des composants, matériaux et systèmes - Systèmes embarqués at Institut national des Sciences appliquées de Toulouse
French, occitan, English, Spanish
Github Skills (29)
bootloader10
buildroot10
package-management10
nor10
embedded-linux10
configuration-management10
spi10
c1110
linux-kernel10
makefile10
c1710
flash10
device-tree10
device-driver10
driver10
Programming languages (7)
Github contributions (5)
bootlin/training-materials
Jan 2019 - Jan 2023
Bootlin embedded Linux and kernel training materials
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:8 reviews, 181 commits, 5 PRs in 4 years
Contributions summary:The user, Miquel Raynal, primarily contributes to the embedded Linux and kernel training materials. Their work focuses on refining the provided code samples and examples for the training, specifically in the area of serial communication. The commits involve bug fixes, code formatting, and improvements to clarity, readability, and organization within existing training code. Additionally, the user has made adjustments to pin configurations, and streamlined build configurations.
embeddedembedded-linuxkernel
torvalds/linux
Dec 2022 - Mar 2023
Linux kernel source tree
Role in this project:Back-end Developer
Back-end DeveloperContributions:25 commits in 2 months
Contributions summary:Miquèl primarily contributed to the Linux kernel source tree, specifically focusing on the MTD (Memory Technology Device) subsystem for NAND flash memory. Their work involved fixing memory leaks, addressing OOB (Out-of-Band) layout issues, and correcting ECC (Error Correction Code) information for various SPI NAND flash chips, especially those from Winbond. The user also added support for DTR (Double Data Rate) operations in the SPI-NAND subsystem, significantly improving read performance, and implemented OTP (One-Time Programmable) support.
linux-kernel
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.