README.md
1<!--
2 Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
3
4 SPDX-License-Identifier: CC-BY-SA-4.0
5-->
6
7# Aeroplage - a prototype of a multilevel terminal
8
9This application implements a prototype of a previous multilevel terminal for seL4. It currently
10runs on x86 in Qemu. After building the application, you can run it with the following Qemu invocation:
11
12 qemu-system-i386 -m 1024 -serial stdio -vga std -kernel images/kernel-ia32-pc99 \
13 -initrd images/capdl-loader-experimental-image-ia32-pc99
14
15When running it should show two panels of different colours. You can type to enter text into one, or
16press Tab to change to the other.
17