j
k
j a
j l
Hi,
I really like to see big formally verified software.
But it seems your provide no way to verify the downloads from your repositories. I think you should use signed git tags and also ensure that repo verify those.
HW42
Attachments:
Show replies by date
devel@sel4.systems
Add to favorites Remove from favorites