Hacktoberfest 2026:メンテナが10月に向けて印を付けた、オープンで初心者向けの issue。 Hacktoberfest の issue を見る

Missing system calls on API reference page

オープン
#183 コメント 1 件 リアクション 0 件 担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度
2/5
見積もり時間
1〜3時間
初心者へのやさしさ
45/100
issue の種類
ドキュメント
明瞭さ
おおむね明確
活発さ
停滞
技術スタック
html
領域
documentation

調査の方向性

Start with the API reference page and compare it with the reference manual, focusing on seL4_NBSendRecv and seL4_NBSendWait. Locate the source that populates the API reference, add both missing calls there, and verify that they appear on the rendered page.

索引モデルが issue の本文から書いたものです。

説明

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.

主要言語
HTML
スター
19
フォーク
67
平均マージ
2時間 54分
マージ済み PR(30日)
1

環境構築

このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

seL4/docs のほかの issue

seL4/docs の issue をすべて見る

似ている issue

Documentation の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。