next up previous contents
Next: Osiris user's guide Up: Implementation Previous: Generator   Contents


Launcher

As the Launcher for Osiris the gKheops has been chosen. The command line syntax for modified gKheops is given below:

gkheops <filename>

When the gKheops is called in such a way then, it starts the Kheops in supervisor mode and loads given <filename> as Kheops's source-file.



Igor Wojnicki 2001-02-21