You could start your search looking for 'unikernel' tools, a few already exist.
In that context you can think of the hypervisor as your microkernel which provides a unified but very low level API to the unikernel-based microservices.
Granted, most programs don't run long enough/process enough data for poor lifecycle hygiene to become noticeable in GC'd languages.