search

sancus-tee / sancus-core

Minimal OpenMSP430 hardware extensions for isolation and attestation
BSD 3-Clause "New" or "Revised" License
20 stars 13 forks source link

Created FPGA design for the Zynq-based ZedBoard #15

Closed pmaene closed 2 years ago

jovanbulck commented 2 years ago

thanks @pmaene ! This PR was long outstanding but as I understood, the port could never really be finished, so agreed this can better be closed.

Interested people can always come look here if they want to finish the port or start another port.

Also linking #16 here for future reference

pmaene commented 2 years ago

Thanks for having a look, @jovanbulck. I started this as a side-project, but then other things got in the way before I completed it 😉. I seem to remember that the main blocker were some combinatorial loops, but don't pin me on that.

Adding support for different boards (possibly without any closed-source tools) could be an interesting student project.