Every Intel-based System76 laptop ships day one with Coreboot firmware preinstalled. The System76 firmware interface is also written in Rust using Redox libraries.
Linux
Welcome to c/linux!
Welcome to our thriving Linux community! Whether you're a seasoned Linux enthusiast or just starting your journey, we're excited to have you here. Explore, learn, and collaborate with like-minded individuals who share a passion for open-source software and the endless possibilities it offers. Together, let's dive into the world of Linux and embrace the power of freedom, customization, and innovation. Enjoy your stay and feel free to join the vibrant discussions that await you!
Rules:
-
Stay on topic: Posts and discussions should be related to Linux, open source software, and related technologies.
-
Be respectful: Treat fellow community members with respect and courtesy.
-
Quality over quantity: Share informative and thought-provoking content.
-
No spam or self-promotion: Avoid excessive self-promotion or spamming.
-
No NSFW adult content
-
Follow general lemmy guidelines.
Thanks, it's just that they are a bit expensive. But I'll look towards the second-hand market.
That extra money is what pays for that and other improvements. It would be cheaper for them to use an AMI BIOS.
I agree
You can ask on the System76 subreddit
Thanks, will do
system76 laptops?
I think Raptor Computing Systems hardware supports coreboot. It's not Intel and not cheap, though.
MSI Z690-A sporting 12 gen would do.
Thanks, I recently heard of this myself. I'll take a look
While it doesn't satisfy the "under $400"-condition, I couldn't withhold myself from mentioning the likes of NovaCustom and Tuxedo. For the fact that both have been absent from the conversation while they otherwise satisfy the requirement of coreboot on a modern device. With the former, NovaCustom, being arguably the best vendor to buy 'privacy&security'-first devices with modern hardware from. Not for their entire line -mind you- but specifically their NV41 Series; which is -to my knowledge- the only Qubes-certified computer with modern specs and Heads. However (with Qubes and Heads pre-installed) it starts at $1224, which makes it considerably more expensive that your stated target (read: under $400).