Petr Pavlu's repositories
pako32
A simple 32-bit RISC-V CPU
Language:PythonMIT000
valgrind-riscv64
Valgrind with support for the RISCV64/Linux platform.
patchtools
Jeff's Patching Tools
000
linux
Linux kernel source tree
NOASSERTION000
asmct
Assembler cross tester
Language:RustGPL-3.0000
hawk
A web-based GUI for managing and monitoring the Pacemaker High-Availability cluster resource manager
GPL-2.0000
openSUSE-salt
openSUSE and SUSE patches and backports for SaltStack
Apache-2.0000
resource-agents
Combined repository of OCF agents from the RHCS and Linux-HA projects
GPL-2.0000
pacemaker
Pacemaker is an advanced, scalable High-Availability cluster resource manager
NOASSERTION000
salt
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt software package repository here:
Language:PythonApache-2.0000
hawk-apiserver
Next generation HA cluster interface
GPL-3.0000