A mini Linux shell.