Punit Agrawal's repositories
riscv-server-platform
The RISC-V Server Platform specification defines a standardized set of hardware and sofware capabilities, that portable system software, such as operating systems and hypervisors, can rely on being present in a RISC-V server platform.
acpica
The ACPI Component Architecture (ACPICA) project provides an open-source operating system-independent implementation of the Advanced Configuration and Power Interface specification (ACPI). For detailed project information and downloads, go to https://www.acpica.org. For ACPICA contributor and source code licensing information, go to
libhugetlbfs
libhugetlbfs debian package
pft
Page fault test microbenchmark
direnv-1
unclutter your .profile
direnv
direnv debian package
osv
OSv, a new operating system for the cloud.
debos
Debian OS builder
unikraft
Core Unikraft repository
pocl
pocl - Portable Computing Language