Skip to content
View joaopeixoto13's full-sized avatar

Highlights

  • Pro

Organizations

@bao-project

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
joaopeixoto13/README.md

Hi there, I'm João Peixoto 👋

MSc in Embedded Systems and Computers at the University of Minho! 🎓

  • 🚀 Currently focusing on mixed-criticality systems, with security and real-time guarantees.

Connect with me:

Email badge Linkdin badge

Programming skills ⚡



GitHub stats & Most used languages

Pinned Loading

  1. OPTEE-RPI4 OPTEE-RPI4 Public

    OP-TEE port for the Raspberry Pi 4 platform

    C 6 2

  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 1 1

  3. bao-virtio-dm bao-virtio-dm Public

    Bao VirtIO Device Model written in Rust.

    Rust 3 2

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

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

    4 1

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

    Computer System based on Intel MCS-51 (8051)

    Verilog

  6. linux linux Public

    Forked from torvalds/linux

    João's Linux playground

    C 1