SpecuCheck is a Windows utility for checking the state of the software mitigations and hardware against CVE-2017-5754 (Meltdown), CVE-2017-5715 (Spectre v2), CVE-2018-3260 (Foreshadow), and CVE-2018-3639 (Spectre v4)
Bachelor's thesis for BSc Computer Engineering at University of Pisa, about an implementation of "KAISER" mitigation against Meltdown in a didactic kernel