Hi, I tried to download the project, but I have got an error message about the broken link. The project browsing seems working.
Where can I get some info about the tool chain, the linux kernel source code and the verification strategy?
Thanks Regards Sergio
Thank you, fixed.