Skip to content
View joaopeixoto13's full-sized avatar
17 followers · 17 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2Achievement: Quickdraw

Organizations

@bao-project @osyxtechnologies

Block or report joaopeixoto13

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
joaopeixoto13/README.md

Hi there, I'm João Peixoto 👋

I'm a 25-year-old Embedded Systems Engineer and Head of Product at OSYX Technologies, working at the intersection of low-level systems, virtualization, security, and intelligent embedded devices.

  • 💻 Building with Embedded Linux, RTOS, hypervisors, firmware, and low-level C/C++ & Rust
  • 🔐 Interested in secure systems, physical AI, trusted execution, virtualization, and mixed-criticality architectures
  • ⚙️ Working across the stack, from bootloaders and device drivers to system architecture and product development
  • 🌱 Core maintainer of the Bao Hypervisor and contributor to open-source virtualization projects
  • 📚 MSc in Embedded Systems and Computers from the University of Minho
  • 🚀 Turning complex systems problems into products that can ship

Feel free to explore my projects and contributions!

Feel free to connect and explore my work! 😊


🛠 Technical Skills

My Skills

📈 Github Stats and Activities

evander stats evander stats

Pinned Loading

  1. OPTEE-RPI4 OPTEE-RPI4 Public

    OP-TEE port for the Raspberry Pi 4 platform

    C 25 6

  2. Bitcoin-Wallet-for-Trusted-OS-OPTEE Bitcoin-Wallet-for-Trusted-OS-OPTEE Public

    Trusted Application and Client Application of Bitcoin Wallet to OPTEE Rust

    Rust 2 2

  3. bao-project/bao-virtio-dm bao-project/bao-virtio-dm Public

    Bao VirtIO Device Model written in Rust.

    Rust 7 4

  4. bao-demos-virtio bao-demos-virtio Public

    A guide on how to build and use the VirtIO infrastructure on Bao Hypervisor.

    6 1

  5. 8051-Based-Computer-System 8051-Based-Computer-System Public

    Computer System based on Intel MCS-51 (8051)

    Verilog

  6. bao-project/linux bao-project/linux Public

    Forked from torvalds/linux

    Bao Project's Linux Fork

    C 1