Producing a trustworthy x86-based Linux appliance · HackerTrans