Re:How the ARM32 Kernel Starts
by throwaway8941 on Thursday August 20, 2020 @10:42AM
(#24223768)
You are right. Linus Walleij's name is on the list of kernel maintainers[1].
[1] https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/lin...
[1] https://people.kernel.org/linusw/how-the-arm32-kernel-starts