Skip to content
View baptleduc's full-sized avatar
🎯
Focusing
🎯
Focusing
11 followers · 25 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report baptleduc

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
baptleduc/README.md

Hi there, I'm Baptiste Le Duc

Hypervisor & Kernel Engineer Intern at Vates porting Xen to RISC-V

Open Source Contributions

  • Xen Project — RISC-V architecture port (hypervisor + dom0 Linux guest)
  • Ariel-OS — Adding a support for a new board
  • RIOT-OS — Adding a common ADS1X1X driver

Languages & Technologies

  • Languages: C Rust Assembly Python Java Bash JavaScript VHDL

  • CI/CD Tools: GitLab CI GitHub Actions Docker

Interests

  • Entrepreneurship: I am passionate about startups and the medtech industry, constantly exploring how technology can drive innovation in healthcare.
  • Music: I play bass in REVESTY, a rock/grunge band. You can check out our music her : our linktree.

Let's connect

github-snake

Pinned Loading

  1. flipper-loradar-app flipper-loradar-app Public

    LoRadar - The Flipper Application to localize stratospheric ballon via LoRa

    C 5

  2. xinul xinul Public

    Minimalist RISC-V kernel

    C

  3. decac_compiler decac_compiler Public

    Java

  4. replay replay Public

    Replay is a Rust-based CLI tool that lets you record, save, and replay sequences of shell commands.

    Rust 1

  5. ariel-os ariel-os Public

    Forked from ariel-os/ariel-os

    Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust

    Rust

  6. RIOT-OS/RIOT RIOT-OS/RIOT Public

    RIOT - The friendly OS for IoT

    C 5.7k 2.1k