Hi,

It would be nice to have the MICROVM kernel available in binary form
for the upcoming NetBSD 11 releases.
The following commit does that:

Module Name:    src
Committed By:   imil
Date:           Tue Aug 26 05:08:57 UTC 2025

Modified Files:
         src/distrib/notes/common: contents
         src/etc/etc.amd64: Makefile.inc
         src/etc/etc.i386: Makefile.inc

Log Message:
Distribute the MICROVM kernel on amd64 and i386.

See sys/arch/{amd64,i386}/conf/MICROVM for usage instructions.


To generate a diff of this commit:
cvs rdiff -u -r1.187 -r1.188 src/distrib/notes/common/contents
cvs rdiff -u -r1.17 -r1.18 src/etc/etc.amd64/Makefile.inc
cvs rdiff -u -r1.70 -r1.71 src/etc/etc.i386/Makefile.inc

Thanks!

source

Ce message de pullup, je rêve de l’ecrire depuis 2 ans, date à laquelle j’ai commencé à travailler sur le boot PVH et plus généralement sur l’accélération du temps de boot du noyau NetBSD. L’objectif était d’en faire un noyau tellement rapide à démarrer qu’on pourrait l’utiliser de façon pratiquement transparante pour executer des applications totalement isolées, au contraire des containers.

C’est maintenant une réalité : NetBSD 11 sera distribué avec un nouveau noyau, netbsd-MICROVM, disponible pour architectures amd64 et i386. On pourra donc très simplement construire des machines virtuelles légères démarrant un système NetBSD en quelques milisecondes pour répndre à tout type de service.
La méthode la plus simple consiste en l’utilisation de smolBSD, mais vous pouvez évidemment préparer votre propre système en démarrant le noyau comme expliqué dans le fichier de configuration du noyau MICROVM.