Missing system calls on API reference page

[Ivan-Velickovic]

I've noticed some system calls that appear in the reference manual, don't appear on the API reference page (https://docs.sel4.systems/projects/sel4/api-doc.html).

Specifically:

• seL4_NBSendRecv
• seL4_NBSendWait

There may be more but those are the ones I've noticed so far.

[lsf37]

Interesting, we should look into that. I don't recall the details on how the pages are generated, but I thought it was the same source as the manual.

IIRC, the page is for the latest release version, so anything that has been fixed since the last release could explain discrepancies. We should really mention the version number on the page, and probably provide pages for multiple versions, including the latest development version.