christos 7e8c6bf13c Add support for displaying and switching between
different OS system call emulations
1995-07-19 15:11:19 +00:00
..