?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Finish renaming xen32 to ia32xen.
[helenos.git] / contrib / conf / gxemul.sh
blobdd3aff02128cbb8ddbe4726d814df5bd19371ced
1 #!/bin/sh
2
3 gxemul $@ -E testmips -X image.boot
A portable microkernel-based multiserver operating system written from scratch.