Opened 12 years ago
Last modified 8 years ago
#419 new enhancement
HelenOS as a Genode platform — at Initial Version
| Reported by: | Jakub Jermář | Owned by: | |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | helenos/unspecified | Version: | mainline |
| Keywords: | gsoc12, gsoc16, gsoc17 | Cc: | |
| Blocker for: | Depends on: | ||
| See also: |
Description
The Genode Operating System Framework can run on top of several OS kernels, including Linux and several L4 variants. Using HelenOS as a new platform for Genode can benefit both projects. It can bring Genode to new processor architectures and can expose Genode to a non-L4 microkernel API, thus improving its universality. On the other hand, HelenOS will be exposed to a new userland, which will test it under different type of load and give it new set of features, currently unsupported by HelenOS.
Note:
See TracTickets
for help on using tickets.
