Truecrypt and ext3 formatting via CLI