18 Mar
2020
18 Mar
'20
9:08 a.m.
Would verifying seL4 on ARM64 be any more difficult than verifying seL4 on ARM32 was? What about other architectures like POWER9?
I hope I am not asking too many questions; I am just a curious outsider who hopes they can use seL4 someday.
Sincerely,
Demi