#lca2020 @GernotHeiser Verified seL4 on secure RISC-V processorshttp://youtu.be/wJ96s3pNtI0
0 replies
2 proslijeđena tweeta
6 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.