Tiny replacement for system shells on secure gateway machines.