Bao, a Lightweight Static Partitioning Hypervisor

Linux kernel source tree

Embedded MotionDriver 6.1 example using an STM32F4-Discovery board connected to an MPU-9150 9DoF IMU via I²C bus #1.

MPU implemented as a compass compatible with Arduino Framework at C.

Commonly used code for projects using ARM Cortex-M with ChibiOS

Explore configuration of an MPU and RTOS for Cortex-M on a QEMU simulated system

Nano OS - Open source preemptive real time multitasking scheduler targeting 8 to 32 bits microcontrollers

Kalman Filter in C

Code for an Arduino based drone

Electronic devices Software Framework (or Extended Software Framework for electronic devices)

X-CUBE-UCSI is an STM32 expansion SW to manage USB Type-C connector for an MPU using standardized UCSI protocol

Raspberry Pi Peripheral Access Wtihout root

lm3s6965evb

MPU6050 DMP driver for Raspberry Pi. Add a simple C++ interface, easy to use.

Project for Computer Architectures and Operating Systems Exam @ Polito - Emulate the NXP S32K3X8EVB board using QEMU, port FreeRTOS, and develop applications to verify and implement timers on the emulated board.

Project for Computer Architectures and Operating Systems Exam @ Polito - Emulate the NXP S32K3X8EVB board using QEMU, port FreeRTOS, and develop applications to verify and implement timers on the emulated board.

MTB code example

Project for Computer Architectures and Operating Systems Exam @ Polito - Emulate the NXP S32K3X8EVB board using QEMU, port FreeRTOS, and develop applications to verify and implement timers on the emulated board.

Project for Computer Architectures and Operating Systems Exam @ Polito - Emulate the NXP S32K3X8EVB board using QEMU, port FreeRTOS, and develop applications to verify and implement timers on the emulated board.

Fault-tolerant kernel for deeply embedded systems