History log of /seL4-camkes-master/projects/camkes-tool/misc/camkes.nanorc
Revision Date Author Comments
# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


# facdda33 17-Nov-2016 Kofi Doku Atuah <kofidoku.atuah@data61.csiro.au>

Add multicore attribute, "affinity"

Defaults to CPU index 0. No RT support in CapDL-loader yet,
just non-RT.


# 87e0548a 09-Nov-2016 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

Added binary_semaphore primitive


# 5a136bad 03-Jul-2016 Stephen Sherratt <Stephen.Sherratt@nicta.com.au>

Replaced aep_pool with notification_pool

Breaking change that replaces the aep_pool configuration setting with
notification_pool.


# 872978ee 03-Nov-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Support for boolean literals in specs.


# bacfebce 27-Oct-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Refactored parser init commit.


# ac0e750a 14-Oct-2015 Stephen Sherratt <Stephen.Sherratt@nicta.com.au>

Replaced AsyncEndpoint with Notification. Applied "s/AsyncEndpoint/Notification/g" and "s/aep/notification/g" to each file.


# f46023c3 20-Jul-2015 Matthew Fernandez <matthew.fernandez@nicta.com.au>

Fix: Rename control TCB to avoid symbol collisions.

**BREAKING CHANGE**

This commit renames the control TCB from "tcb__control" to "tcb_0_control". The
purpose is to avoid unintentional symbol collisions with TCBs belonging to
interfaces named "_control". As part of the same disambiguation process, any
attributes that were of the form "_control_<property>" are now "_<property>".
Because an interface cannot have the empty string as a name, this avoids
collisions.

This is marked as a breaking change because users who adjust attributes of the
control thread (priority, stack size, domain, etc.) will need to change the
attribute they are setting. It is possible to set both the new and the old
attribute in order to smooth the transition across this changeset.


# 79fa523d 03-May-2015 Adrian Danis <Adrian.Danis@nicta.com.au>

Add files describing syntax highlighting of camkes and idl4 files for nano