# Kernel

Good reading - 

{% embed url="<https://people.kernel.org/linusw/how-the-arm32-kernel-starts>" %}

![](https://569825932-files.gitbook.io/~/files/v0/b/gitbook-legacy-files/o/assets%2F-MJLRvYIRoqQ8RpdJUy4%2F-MJMJmoRmjSFUc3gLnMS%2F-MJMK-IS55tjMLEQw3st%2Fimage.png?alt=media\&token=e133c5c9-f697-4978-aeec-7ffeaebdf2f1)

We should be able to use earlyprintk now that we know how (in theory) to use UEFI to boot into Linux.\
i.e.  UEFI -> GRUB2 (signed) -> EFISTUB Linux kernel (signed)\
\ <br>