Committed in r542049.
Upload the right diff.
Cosmetics: initialize pc_smp_tlb_gen of BSP to 1, same as for AP. It is not too important because gen number is incremented before use.
Sorry about this, I thought I had tested the syscalls when looking for regressions.
Handle Alan' notes.
does not address vref_smr yet
- further comment tweaks
I verified the examples and in general, LGTM.
- added manpage
- added default implementation for other architectures
- kcsan functions was implemented
- fault detection fault for arm64. was rewritten
Enforce the requirement that sentences in man pages must begin in column 1.
I'll wait for guidance before continuing.
Offline, a reviewer has suggested that I improve the advocacy for wavl trees in the tree manpage, so I've attempted to do that.