Contents | Package | Class | Tree | Deprecated | Index | Help | |||
PREV | NEXT | SHOW LISTS | HIDE LISTS |
Interface Summary | |
Repository |
Class Summary | |
Main | Main is the class that starts the J-Kernel. |
Start | jkernel.std.Main sets the field Start.data to an initialized StartData object, which contains useful resources for the user's initial task. |
StartData | StartData contains a number of resources that the first user task can use. |
Exception Summary | |
CapabilityAlreadyBoundException | |
CapabilityNotBoundException |
Contents | Package | Class | Tree | Deprecated | Index | Help | |||
PREV | NEXT | SHOW LISTS | HIDE LISTS |