License isn't a blocker for a microkernel, with the filesystem being a completely separate service.