It's live! My video showing how to install osboot on a ThinkPad T430s. osboot is a coreboot distro (forked from Libreboot's build system). It provides hardware initialization and a bootloader, to boot your OS. Enjoy!
Here is the video: https://yewtu.be/watch?v=P3BuHI7Gg5w
Re-posted with a different invidious link because the first one b0rked and didn't work when trying to play the video directly in mastodon