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

$ a month

Choose a custom amount.

$30 a month

Select

I'd like to investigate UEFI, coreboot, linuxboot and other firmware-related stuff. I'll probably have to play around with firmware flashing (maybe in-circuit if I end up bricking my PCs!) so money for tooling is useful.