Skip to content
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

  1. roncapat/MultiLcd

    A third-party Arduino library for bigger LCDs and multiple LCDs

    C++ 1
  2. roncapat/WSD-python

    Web Services for Devices (WSD) tools and utilities for cross platform support

    Python 32
  3. roncapat/W230SD-Unlocked-AMI-BIOS

    Modded Setup UEFI DXE for Clevo W230SD laptops - All hidden voices unlocked

  4. roncapat/RT-scheduler-RM-PS

    Userspace, real-time POSIX scheduler demo, with rate monotonic strategy and polling server for asyncronous task support

    C++
  5. roncapat/Job-Scheduler-Simulator

    A simplified multi-threaded job scheduler simulator written in C as part of a University assignment

    C 1

Select a tier

$ one time

Choose a custom amount.