Yes for Petitboot, being able to boot to a newer kernel without "reflashing" is the desire...or use an older one if the newer one fails.
kexec would be used once an intermediate kernel could be loaded as a payload. It is my understanding Coreboot had its origins from LinuxBIOS, which does this.
Petitboot looks interesting
https://www.raptorengineering.com/content/kb/1.html
Librecore too
https://github.com/librecore-org
https://www.phoronix.com/scan.php?page=n...-Formation
kexec would be used once an intermediate kernel could be loaded as a payload. It is my understanding Coreboot had its origins from LinuxBIOS, which does this.
Petitboot looks interesting
https://www.raptorengineering.com/content/kb/1.html
Librecore too
https://github.com/librecore-org
https://www.phoronix.com/scan.php?page=n...-Formation