Software Developer at @RedHat. Author of @Torokernel with pride.
Grenoble, France
Joined December 2017
- Tweets195
- Following212
- Followers90
- Likes2.7K
Matias Vara Larsen 🧉 retweeted
Toro now has a better O (1) scheduler together with a improved ring queue for network packets that replaces the linked-list structures.
PR merged at github.com/torokernel/toroke…
I just wrote somre documentation about how networking works in @ToroKernel . Give a look at github.com/torokernel/docume…
Matias Vara Larsen 🧉 retweeted
Pause café... Pause Talk ! ☕️
@ELTu7e te guide dans la découverte des serveurs MCP et montre comment interagir avec ses outils pour automatiser les tâches répétitives. Découvre comment optimiser la gestion des ressources et réduire les erreurs manuelles !
youtube.com/watch?v=5tnq5vra…
Matias Vara Larsen 🧉 retweeted
And we have many cool things already lined up for 2025:
- Tyler Fanelli is working on updated SNP support.
- @ELTu7e is adding ARM CCA, for running Confidential Workloads on the upcoming Armv9 SoCs.
- Jake Correnti has taken the Intel TDX PoC and it's working on getting it upstreamed.
We'll be also enabling new microVM use cases on other Industries. I'm looking forward to presenting this at some conference next year!
They just released my presentation in @linuxplumbers about formal verification in virtio devices and drivers at youtube.com/watch?v=w7BAR228…
Last days I have been interested on runtime verification of user programs. This leads me to write a very simple debugger in Rust using ptrace. You can find its code at github.com/MatiasVara/pobser…
Why should Spotify users support the National Center for Music? Donations are optional, so shouldn't this be as well?
Matias Vara Larsen 🧉 retweeted
We are porting Toro to the latest Freepascal release. Soon you will be able to select Toro as a targett and the compiler will simply compile your app within Toro unikernel ready to be launched as VM, stay tuned!
For those interesting in deploying a DDS (ROS 2) between VMs, I wrote a short article about it, you can find it at developers.redhat.com/articl…
Matias Vara Larsen 🧉 retweeted
For thousands of years, the scientific road to growth was blocked because people believed that holy scriptures and ancient traditions already contained all the important knowledge the world had to offer. This was the position of most premodern human civilizations. The greatest scientific discovery was the discovery of ignorance. Once humans realized how little they knew about the world, they suddenly had a very good reason to seek new #knowledge, which opened up the scientific road to progress.
#HomoDeus
Amigos de #Tolosa en #LaPlata filmaron este vídeo anoche. Es un camión que recorrió el barrio cortando cables. Alguien sabe si es normal este tipo de procedimientos? (@Telefonica_Ar ?)
Matias Vara Larsen 🧉 retweeted
I spoke about Toro for MPI at @fosdem . Check out the video!
video.fosdem.org/2024/ud2208…
Hello, I 'll at @fosdem presenting about virtio-sound and @ToroKernel for MPI, ping if you want to chat!
De vacaciones en la costa argentina fui a un supermercado, para pagar con mi tarjeta no argentina, aparte de escanear visualmente la tarjeta durante 2 minutos, me pidieron mi teléfono y mi dni, ¿saben si esto es normal? cómo manipula el supermercado mis datos?
Matias Vara Larsen 🧉 retweeted
Liam Proven's obituary for Niklaus Wirth is not only interesting. It contains many new facets of Wirth's fascinating life and work. theregister.com/2024/01/04/n…
Matias Vara Larsen 🧉 retweeted
I just read that Niklaus Wirth passed away. Let's put off our discussion of Toro till next time.
Matias Vara Larsen 🧉 retweeted
In this video, we compare the latency of an OpenMPI application running on Linux with the same application running on Toro as a VM. Toro is faster!
youtu.be/TJrfhEmtltE
Pour ceux intéressés par VirtIO dans les voitures, je vais parler de mon travail chez @RedHat dans le prochain @HumanTalks à Grenoble. Voici la description et le link meetup
humantalks.com/talks/1922-le… et meetup.com/humantalks-grenob…
Merci de partager! ;)