portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/tools
History
Oliver Scott 34ce52e283 serial-refactor: Refactor kernel serial drivers 
Have added a drivers/serial folder to kernel, where all serial drivers
will be kept. The point is to have the the dts parsed and generate cmake
to include the right uart.c file prefixed with the compatibility.
Have removed all io.c from plat and includes from plat/config.cmake and
updated CHANGES file.
2019-02-21 16:11:37 +11:00
..
dts dts: Add Arm FVP device tree file. 2019-02-13 17:16:42 +11:00
python-deps Update pydeps version 2019-01-29 17:10:29 +11:00
bf.vim tools: fix licenses 2017-06-22 15:27:30 +10:00
bitfield_gen.py bitfield_gen: merge clarsimp/simp in generated proofs 2018-10-02 14:41:21 +10:00
changed.sh tools: fix licenses 2017-06-22 15:27:30 +10:00
circular_includes.py tools: Ignore option for circular_includes script 2018-08-27 10:18:10 +10: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 serial-refactor: Refactor kernel serial drivers 2019-02-21 16:11:37 +11:00
hardware_gen.py serial-refactor: Refactor kernel serial drivers 2019-02-21 16:11:37 +11:00
hardware_schema.yml hardware_gen: support specifying size of kernel device 2019-02-13 11:13:05 +11:00
helpers.cmake cmake: add kernel platform helpers. 2018-12-10 16:36:22 +11:00
internal.cmake Add a CMake based build system 2017-08-22 13:56:26 +10:00
invocation_header_gen.py tools: State jinja2 version 2018-06-21 14:38:55 +10:00
kernel_astyle.sh tools: Added astyle,pylint and xmllint checks 2018-08-10 10:38:53 +10: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 Python3 compatibility in scripts 2017-06-05 14:07:20 +10:00
pylintrc tools: fix licenses 2017-06-22 15:27:30 +10:00
syscall_header_gen.py tools: State jinja2 version 2018-06-21 14:38:55 +10:00
umm.py tools: fix licenses 2017-06-22 15:27:30 +10:00
xmllint.sh tools: fix licenses 2017-06-22 15:27:30 +10:00