l4v icon indicating copy to clipboard operation
l4v copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Cleanup post-x64 comments

Open Xaphiosis opened this issue 1 year ago • 0 comments

There are a number of comments left over from past X64 verification efforts. Now that these have succeeded, removing them would be a good idea. Example:

(* FIXME x64: ucast? see how it goes *)

It went well, and now the comment can go. Searching (case-insensitive) for FIXME x64 should find them all. There are similar ones left over from ARM_HYP and RISCV64 to look out for, but that's probably for a new issue.

Xaphiosis avatar Oct 27 '23 03:10 Xaphiosis