tower-camkes-odroid

Tower BSP for seL4 via AADL/Camkes on ODROID.

Contributing

This project adheres to the Contributor Covenant code of conduct. By participating, you are expected to uphold this code. Please report unaccpetable behavior to smaccm@galois.com.

Name		Name	Last commit message	Last commit date
Latest commit History 126 Commits
data		data
src/Tower/Odroid		src/Tower/Odroid
test		test
.gitignore		.gitignore
.travis.yml		.travis.yml
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
LICENSE		LICENSE
Makefile		Makefile
Makefile.deps		Makefile.deps
Makefile.sandbox		Makefile.sandbox
README.md		README.md
stack-7.10.yaml		stack-7.10.yaml
stack-8.0.2.yaml		stack-8.0.2.yaml
stack.mk		stack.mk
stack.yaml		stack.yaml
tower-camkes-odroid.cabal		tower-camkes-odroid.cabal