I started filling out some of the isa tables but I managed to do only a few
Merge request pipeline #9888 passed
Merge request pipeline passed for c4d78c7a 2 months ago
Pipeline #9894 passed
Pipeline passed for 0adca156 on main 2 months ago
assigned to @brilator
mentioned in commit 0adca156
merged