I think it would an interesting exercise to attempt to build a reasonably modern device that's truly audited and secure head-to-toe. If it could be done with p

I think it would an interesting exercise to attempt to build a reasonably modern device that's truly audited and secure head-to-toe. If it could be done with proper 'design by contract', inspections, and at a cost that folks could swallow, you might have a new Apple 2 on your hands. Not in the corporate world, at least not immediately (where tomorrow's profits outweigh next-week's), but among security cautious folks and researchers. I'd love to see if a laptop, for example, could be built to that standard. And if built, if it could actually accomplish real (not hobbyist) work. BlacktOPS or something catchy :)