Anyone claiming to have made a microkernel, seemingly quickly, with Linux ABI and driver compatibility while supposedly being 10-20% faster would also be getting the same amount of skepticism.
Especially if that was just one component of a supposedly entirely new OS that quickly replaced something decades established without regressing user experience or features
