Giters

seL4 / docs

This is the source of the seL4 docs.

Home Page:https://docs.sel4.systems

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Missing system calls on API reference page

Ivan-Velickovic opened this issue · comments

commented

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.

commented

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.