• WCET for aperiodic threads
• Delayed partition initialization
• malloc/free for partitions
• Supervisor permissions for partitions
• Partition initialization function
• Can shutdown (permission for a partition to shutdown the CPU)
• Can restart (permission for a partition to restart the CPU)
Corrected tickets:
• #36 (timer argument is uint64_t instead of uint32_t)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hello all,
Release 2.0.0 as just been published.
Added new features:
• WCET for aperiodic threads
• Delayed partition initialization
• malloc/free for partitions
• Supervisor permissions for partitions
• Partition initialization function
• Can shutdown (permission for a partition to shutdown the CPU)
• Can restart (permission for a partition to restart the CPU)
Corrected tickets:
• #36 (timer argument is uint64_t instead of uint32_t)