You must be logged in to sponsor roncapat
Become a sponsor to Patrick Roncagliolo
I'd like to play around with x86 firmware stuff and linux kernel. My interests are Rust, compilers and compiler optimizations, formal verification of programs, scheduling techniques.
Featured work
-
roncapat/MultiLcd
A third-party Arduino library for bigger LCDs and multiple LCDs
C++ 1 -
roncapat/WSD-python
Web Services for Devices (WSD) tools and utilities for cross platform support
Python 32 -
roncapat/W230SD-Unlocked-AMI-BIOS
Modded Setup UEFI DXE for Clevo W230SD laptops - All hidden voices unlocked
-
roncapat/RT-scheduler-RM-PS
Userspace, real-time POSIX scheduler demo, with rate monotonic strategy and polling server for asyncronous task support
C++ -
roncapat/Job-Scheduler-Simulator
A simplified multi-threaded job scheduler simulator written in C as part of a University assignment
C 1