Axel Heider

@chenyangyy: Aside from the virtualization support, do you plan to make a PR with your current working state of the LoongArch port? I'd be really interested to see the details.

Proofs do not complain, but they don't cover the boot code anyway.

Could this get merged?

rebased to align with changes from merge of https://github.com/seL4/seL4/pull/863

Adding another fix for x86/ia32 that made compilation fail with `-D KernelVTX=1 -D HardwareDebugAPI=1 -DKernelMaxNumNodes=2`. The Issues came in with the refactoring from commit 27b4411e

Following up on the discussion during hangout call: - there should be no need to have book keeping in userland, if the kernel has this information anyway and could make...

What is the plan about getting this merged?

I've moved the PR to draft state. Any feed back is appreciated on the current proposal.

@Indanz: The reason for doing the check in `getCurrentTime()` and not `updateTimestamp()` would be, that the first function exists an guards the timer, all other function are expected to use...

Can we close this and something currently not planned, but it's a topic to dive into for anybody willing to spend resources on this. To track that, adding a section...