Pinned Repositories
demofordate21
This repository contains the demo for the industrial track at DATE'21
kvmtest
This sample demonstrates KVM API to manage VMs from FreePascal.
leetcodechallenges
This repository contains some of the solutions for the leetcode challenge of the day
libvirt-mcp
Experimental MCP server for Libvirt
MyPhdThesis
This repository contains my PhD thesis named "BCOoL: the Behavioural Coordination Operator Language". Find latest version in the releases section.
tute
Tute is a bot which is based on https://core.telegram.org/bots/api. Please check details of installation in https://github.com/python-telegram-bot/python-telegram-bot.
virtioml
This repository contains VIRTIO Modeling Language, which is a set of tools to model devices that conform to VirtIO specification
torokernel
This repository contains the source code of toro unikernel
ToroOS
This repository contains the source code of the Toro Operating System.
MatiasVara's Repositories
MatiasVara/libvirt-mcp
Experimental MCP server for Libvirt
MatiasVara/leetcodechallenges
This repository contains some of the solutions for the leetcode challenge of the day
MatiasVara/ansibleforbootc
This repo contains all the ansible playbooks used to deploy or manage a cluster, as well as inventories examples
MatiasVara/bootc4seapath
This is bootc image based on Centos Stream 9 that eases the deployment of SEAPATH hosts
MatiasVara/cca
Library for ARM CCA
MatiasVara/ccsl4rust
MatiasVara/claude-desktop
Claude Desktop for Debian-based Linux distributions
MatiasVara/community
Community content
MatiasVara/crash
Linux kernel crash utility
MatiasVara/dds-experiments
MatiasVara/dds-over-vms
MatiasVara/echo-vsock
This is a simple echo over virtio-vsock to measure latency
MatiasVara/enhancements
Tracking KubeVirt related enhancements and issues
MatiasVara/kubevirt
Kubernetes Virtualization API and runtime in order to define and manage virtual machines.
MatiasVara/kvm-bindings
MatiasVara/kvm-ioctls
MatiasVara/libkrun
A dynamic library providing Virtualization-based process isolation capabilities
MatiasVara/MatiasVara
MatiasVara/osumicrobenchmarksfortoro
This repository contains a port of the osu-micro-benchmarks for toro unikernel
MatiasVara/pobserver
Monitors user application using ptrace
MatiasVara/qemuforvirtiosound
QEMU with vhost-user-sound WiP changes
MatiasVara/rust-vmm-ci
MatiasVara/rust-vmm-container
Container with all dependencies required for running rust-vmm crates integration tests.
MatiasVara/servers
Model Context Protocol Servers
MatiasVara/socketcan-rs
Linux SocketCAN access in Rust
MatiasVara/tracing-formal
This is a tracer for Rust that allows to compare the executing with the specification
MatiasVara/vhost
MatiasVara/vhost-device
'vhost-user' device backends workspace
MatiasVara/vm-virtio
virtio implementation
MatiasVara/xen
Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)