Not really, insofar as I can tell, but it was slightly less inactive back then.

It's not the corner of the sandbox that I play in any longer.

What about your view on ultra restrictive OS libraries, like geonode? These take much of the useful optimizations inside unikernals and give a bigger framework to work from.

The Genode project is wonderful. The write-ups they did about integrating their framework with seL4 were unbelievably helpful in my earlier explorations of how to build interesting things atop seL4.

That said, I never really considered Genode in contrast to unikernels to be honest. Something to chew on certainly.