| 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 | ||