[lproven]

> it is relatively easy to adapt NetBSD's drivers into a custom kernel

AUIU NetBSD is implemented in C, and Serenity in C++. Would that work at all?