China would move the needle on innovation outsmarting seL4 kernel and 9front userspace concepts and minimalist design.