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
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/kvmtest
This sample demonstrates KVM API to manage VMs from FreePascal.
MatiasVara/MyPhdThesis
This repository contains my PhD thesis named "BCOoL: the Behavioural Coordination Operator Language". Find latest version in the releases section.
MatiasVara/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.
MatiasVara/virtioml
This repository contains VIRTIO Modeling Language, which is a set of tools to model devices that conform to VirtIO specification
MatiasVara/demofordate21
This repository contains the demo for the industrial track at DATE'21
MatiasVara/leetcodechallenges
This repository contains some of the solutions for the leetcode challenge of the day
MatiasVara/bcool
This repo contains some documentation about BCOoL
MatiasVara/BCOoLExamples
This project contains BCOoL examples which includes the specification of a BCOoL operator plus a model. The BCOoL specification can be used to coordinate the models.
MatiasVara/cca
Library for ARM CCA
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/google-python-exercises
This repo contains the google python exercises
MatiasVara/kvm-bindings
MatiasVara/kvm-ioctls
MatiasVara/MatiasVara
MatiasVara/matiasvara.github.io
MatiasVara/osumicrobenchmarksfortoro
This repository contains a port of the osu-micro-benchmarks for toro unikernel
MatiasVara/pascalcodestylechecker
This repository contains a python script to check the code style of pascal source code
MatiasVara/pve-virtiofsqemu
This repo contains the patches that allow virtiofs qemu to run in Proxmox.
MatiasVara/qemuforvirtiosound
QEMU with vhost-user-sound WiP changes
MatiasVara/ToroNetPerf
This repo contains performance tests of the Toro's network stack
MatiasVara/unikernels
Unikernel and immutable infrastructures
MatiasVara/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
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)