How many kernels have you written? Zero I guess, you can't write kernels in a Day.
> Muh c language
Ctard let me redpill you about C,
C was developed at AT&T a huge company, they also developed Unix. They paid people to port existing software in C.
Unix was written in B Initially
They invested millions of dollars in their product while lisp had no such investments behind it. That's why you don't see as much lisp code around,but that doesn't mean you can't make kernels with lisp.
> Lisp kernel
I will definitely try though and port Linux kernel in lisp even if it takes fucking years to do it. I will prove that lisp can run on bare metal.