search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
51 stars 64 forks source link

Zcu102 7.0.0 #6

Closed Furao closed 7 years ago

Furao commented 7 years ago

This pull request adds AARCH32 and AARCH64 support for the Xilinx Zynq UltraScale+ MPSoC. Tested on the ZCU102 development board.

Furao commented 7 years ago

Feel free to drop the "Added DARPA License" commit. We just need to retain it in our own repositories.

Furao commented 7 years ago

Updated based on comments.