| .. |
|
dts
|
Add initial i.MX8M Mini evk 64-bit Support
|
2019-07-19 14:32:53 +10:00 |
|
python-deps
|
python-deps: Add pyelftools to sel4-deps package
|
2019-07-31 11:32:34 +10:00 |
|
bf.vim
|
tools: fix licenses
|
2017-06-22 15:27:30 +10:00 |
|
bitfield_gen.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
changed.sh
|
tools: fix licenses
|
2017-06-22 15:27:30 +10:00 |
|
circular_includes.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
cpp_gen.sh
|
tools: fix licenses
|
2017-06-22 15:27:30 +10:00 |
|
flags.cmake
|
Add a CMake based build system
|
2017-08-22 13:56:26 +10:00 |
|
hardware.yml
|
GICv2: map VCPU region as execute never
|
2019-07-02 16:04:39 +10:00 |
|
hardware_gen.py
|
RISCV: Add Hifive unleashed platform
|
2019-06-26 15:11:47 +10:00 |
|
hardware_schema.yml
|
hardware_gen: support specifying size of kernel device
|
2019-02-13 11:13:05 +11:00 |
|
helpers.cmake
|
helpers.cmake: Add FORCE to all INTERNAL sets
|
2019-06-27 18:29:55 +10:00 |
|
internal.cmake
|
style: use consistent styling for all cmake files
|
2019-03-22 11:52:06 +11:00 |
|
invocation_header_gen.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
kernel_pylint.sh
|
tools: Added astyle,pylint and xmllint checks
|
2018-08-10 10:38:53 +10:00 |
|
kernel_xmllint.sh
|
tools: Added astyle,pylint and xmllint checks
|
2018-08-10 10:38:53 +10:00 |
|
lex.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
pylintrc
|
tools: fix licenses
|
2017-06-22 15:27:30 +10:00 |
|
syscall_header_gen.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
umm.py
|
style: run autopep8 on python files
|
2019-03-27 10:43:58 +11:00 |
|
xmllint.sh
|
tools: fix licenses
|
2017-06-22 15:27:30 +10:00 |
