Would verifying ARM64 be any more difficult than verifying ARM32 was?
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
2197
Age (days ago)
2199
Last active (days ago)
3 comments
4 participants
participants (4)
-
Demi M. Obenour -
Heiser, Gernot (Data61, Kensington NSW) -
Klein, Gerwin (Data61, Kensington NSW) -
Robin Randhawa