l4v icon indicating copy to clipboard operation
l4v copied to clipboard
verified publisher icon seL4

restyle Platform.thy for all architectures

Open lsf37 opened this issue 2 years ago • 0 comments

On RISCV64, Platform.thy has nicely consistent, but outdated style.

We should apply the current style guide to this file (and probably the other files in machine/) on all platforms to reduce cognitive dissonance.

(This is a follow-up issue from #617)

lsf37 avatar Mar 28 '23 21:03 lsf37