History log of /seL4-camkes-master/projects/camkes-tool/camkes/parser/__init__.py
Revision Date Author Comments
# 3c72f0ca 11-Jun-2020 Damon Lee <Damon.Lee@data61.csiro.au>

parser: Add GPIO query engine

This new query engine handles the new 'gpio' CAmkES queries that the new
seL4GPIOServer connector exposes for its access control mechanisms.

The engine takes in a YAML file containing a list of GPIO pins and sorts
out the 'gpio' queries so that the connector templates for the
seL4GPIOServer connector can generate the appropriate structures and
functions.


# bf1d734c 24-Sep-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

parser: move DTBMatchQuery to FDTQueryEngine


# 0200e258 13-Aug-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

camkes/parser: add query to camkes ADL

This commit adds a new feature called a query. A query appears in the
ADL on the RHS of a setting in the configuration section of the ADL, eg:

configuration {
component.blah = query()
}

queries takes comma separated parameters that can be any literal (numeric_expr |
multi_string | list | dict).

Queries are parsed in a new parsing stage between stage7 and stage8.


# 8b2ec3e6 20-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses


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

Refactored parser init commit.


# cc64bb50 21-Jul-2014 TrustworthySystems <gatekeeper@sel4.systems>

Release snapshot