| Contents | Package | Class | Tree | Deprecated | Index | Help | |||
| PREV | NEXT | SHOW LISTS | HIDE LISTS | ||
| Interface Summary | |
| RemoteRepositoryTicket | |
| Repository | |
| StartInterface | |
| Class Summary | |
| Main | Main is the class that starts the J-Kernel. |
| RepositoryImpl | |
| RepositoryTicket | |
| RootTask | Main creates a RootTask object which is the first thing that runs in the root task. |
| 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. |
| StartImpl | |
| Exception Summary | |
| CapabilityAlreadyBoundException | |
| CapabilityNotBoundException | |
| Contents | Package | Class | Tree | Deprecated | Index | Help | |||
| PREV | NEXT | SHOW LISTS | HIDE LISTS | ||