On 02.01.2014 12:27, Norman Feske wrote:
- The base-hw platform
- Multi-processor support
- Kernel-protected capability-based security
- Exploring ARM's virtualization extensions
Further suggestion: * Priority-based scheduling in two bands (one for low-latency tasks and another for throughput-intensive tasks), hybrid tasks (with a context for both scheduling bands), and time delegation (on RPC, locks, etc.)