#
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
|