portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/tools
History
Ben Leslie 7dc6dffa0f Add support for iMX LP UART 
Add support the i.MX low-power UART. This is available on
chipsets such as i.MX8QXP.

Note: This is a preliminary patch in advance of providing
full support for the i.MX8QXP platform.

Note: getchar is not implemented (current) for this platform.

Signed-off-by: Ben Leslie <benno@brkawy.com>
2021-06-02 11:43:48 +10:00
..
dts Add i.MX6 Nitrogen6_SoloX board 2021-03-31 13:38:25 +10:00
hardware Add i.MX6 Nitrogen6_SoloX board 2021-03-31 13:38:25 +10:00
python-deps Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bf.vim Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
bitfield_gen.py bitfield_gen: prep for Isabelle2021 2021-01-24 18:42:27 +11:00
changed.sh tools: BSD compat for changed.sh 2020-06-18 12:39:46 +10:00
circular_includes.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
cpp_gen.sh Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
flags.cmake Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
hardware.yml Add support for iMX LP UART 2021-06-02 11:43:48 +10:00
hardware_gen.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
hardware_schema.yml Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
helpers.cmake autoconf: use "#pragma once" include guard 2021-03-06 02:24:41 +01:00
internal.cmake CMake: inline set_kernel_32() and set_kernel_64() 2021-02-01 18:23:42 +01:00
invocation_header_gen.py clarify license for generated headers 2020-03-09 13:21:49 +08:00
kernel_pylint.sh Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
kernel_xmllint.sh Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
lex.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
pylintrc Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
reciprocal.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
syscall_header_gen.py clarify license for generated headers 2020-03-09 13:21:49 +08:00
umm.py Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
xmllint.sh Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00