Linux Kernel

Those tools provide a way to get Platform Reliability, Availability and Serviceability (RAS) reports made via the Kernel tracing events.

Fedora kernel, with patch for Asus ROG Flow tablet mode included.

Patched kernel for Prevail Linux project

Everybody is welcome (and allowed by the GPLv2) to incorporate and to submit this code upstream.

https://git.kernel.org/pub/scm/linux/kernel/git/andrea/aa.git

Arch linux XanMod kernel package with hardware enablement patches for ASUS ROG laptops

The end.. and maybe the beginning of the LinuxPMI kernel clustering extensions. Based on openmosix.

Mainline linux kernel (torvalds/linux.git tree)

VMHalt is a Linux kernel module that if installed on a Linux image detects if running over a virtual or emulated environment and halts the machine boot.

Master's dissertation project based on LaTeX model for theses and dissertations according to IME/USP guidelines.

My Linux config files

Linux fork made by Lenovo for TB3-710I, released on their support site (https://support.lenovo.com/uk/en/downloads/ds112378)

RV monitor automata models powered by eBPF tracing

The Linux Kernel is an open-source kernel that supports all Linux distribution (basically vanilla Linux)

testcases for MM bugs in kernel v5.11 (most originated in v5.9 and are still reproducible in v5.16-rc5)

Everything I build at home goes in here. Most things here are borderline hardware/software, drivers and things, there's tons of stuff with no specific structure..