- Change SIMULATE to SIMULATION. The instructions only worked by
accident, because SIMULAITON is on by default.
- spelling
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
http://jinja.pocoo.org/docs/ produces 403 for the link checker, but
works in the browser.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- commit 4f7bca1931 replaced orderedset by the maintained ordered-set,
but did no yet remove the dependency. Since on more recent python
version the dependency install now fails, we are removing it completely.
- make python 3 requirement explicit
To be released on PyPi simultaneously with the next CAmkES release.
Closes#124
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Make sure text is rendered correctly on different markdown engines.
- avoid bare URLs
- consistent list indent and spacing
- consistent heading style
- use level-2 head for release
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
- Fix the calculation of leading zeros. Using "int(log10(cnt + 1)) + 1"
is broken, it evaluates to 2 for cnt=9, and thus results in the
strings "00"-"08". Using "1 if (n <= 1) else (1 + int(log10(n - 1)))"
seems overly complicated here, so a naive and readable way is used.
- switch to f-strings
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit adds documentation written in markdown that explains each
part of the libsel4camkes library in more depth.
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
Fix a mismatched type size error in component.simple.c:485, which may
cause data overflow when CONFIG_WORD_SIZE is 64. Use the CLZL()
macro to correctly handle the specified CONFIG_WORD_SIZE.
Signed-off-by: colorglass <55863235+colorglass@users.noreply.github.com>
Just use `allowed_smc_functions` to define whether a component can
make SMC calls or not.
Signed-off-by: Robbie VanVossen <robert.vanvossen@dornerworks.com>
When using dtb queries on a type that has multiple instances, when the
second or additional instances are evaluated, their settings have bad
values: `gpio_mux_server1.gpio.dtb = dtb({})` instead of the expected:
`gpio_mux_server1.gpio.dtb = dtb({"path" : "/gpio@2200000"})`. This is
due to a parser bug that mutates the internal dictionary object instead
of mutating a copy.
Switching to a deep copy avoids mutating the AST object.
```
component GPIOMUXServer {
emits FDT dummy_source;
consumes FDT gpio;
consumes FDT mux;
composition {
connection seL4DTBHardware gpio_conn(from dummy_source, to gpio);
connection seL4DTBHardware mux_conn(from dummy_source, to mux);
}
configuration {
gpio.dtb = dtb({"path" : "/gpio@2200000"});
mux.dtb = dtb({"path" : "/pinmux@2430000"});
}
}
assembly {
composition {
component GPIOMUXServer gpio_mux_server0;
component GPIOMUXServer gpio_mux_server1;
}
configuration {}
}
```
Signed-off-by: Kent McLeod <kent@kry10.com>
The fault handler thread currently is set to the default core which can
cause a component's fault handler threads and control threads to be on
separate cores if the affinity attribute is set. This change sets the
fault handler thread and control thread to run on the same core.
Signed-off-by: Alex Pavey <Alex.Pavey@dornerworks.com>
Exposing this function allows us to play with the underlying channels
and their buffers.
Co-authored-by: Andy Bui <andy.bui@unsw.edu.au>
Signed-off-by: Jingyao Zhou <jingyao.zhou@unsw.edu.au>
Gerwin Klein