If you have any smashed up, deformed, or otherwise defective librem laptops missing a battery and disk and have no chance of selling them, I wouldn't mind taking it off of your hands for me to do some experimental PureOS development! :)

This is all so exciting!

And I absolutely love that PureOS is developed with the Librem hardware in mind primarily. The Librems are without a doubt the standard of freedom and quality. This makes them highly-secure, but is still low-assurance, undeniably.

I feel you. For now, I will experiment with virtualizing PureOS with both sel4 and nova and see if interesting things develop nicely, and relay my results. Since all of the hardware is freed, device drivers will not be a problem for Genode to run perfectly on the Librem device (I wish I had the beefy cash to buy one :/).