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

This is the source of the seL4 docs.

seL4/docs は初心者に優しい?

seL4/docs への外部コントリビューターの PR が最近は少なく、どのくらいマージされるかはまだ言えません。 初心者向けのオープンな issue は今はありません。下の一覧に、このリポジトリのほかの issue があります。

スター
19
フォーク
67
オープンの初心者向け issue
0
索引済み issue
9
平均マージ
4時間 9分
マージ済み PR(30日)
2
主要言語
HTML
ライセンス
ライセンスのデータがありません
最終 GitHub push
2026年9月21日
最新の索引
2026年9月20日
コントリビューションガイド
コントリビューションガイドがありません
行動規範
行動規範がありません
初心者向けラベル
初心者向けラベルは索引されていません

seL4/docs にコントリビュートするには

  1. コントリビューションガイドはないので、README と最近マージされた PR をいくつか読んで、変更の出し方をつかみましょう。
  2. リポジトリをフォローすれば、新しい初心者向け issue が出たときにわかります。下のほかの issue も見てみましょう。
issue を読み込んでいます

誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示

  • Raspberry PI 3 experimental port tutorial command "fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2837" is wrong
    オープン

    難易度 1/5 1時間未満 初心者へのやさしさ 55/100

    seL4/docs#324 ·

  • Incomplete bsp description/bringup explanation
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 45/100

    seL4/docs#320 ·

  • Add docsite HTML validation to CI
    オープン
    CI

    難易度 3/5 1〜2日 初心者へのやさしさ 45/100

    seL4/docs#308 ·

  • Add link checker to CI for docsite
    オープン
    CI

    難易度 3/5 1〜2日 初心者へのやさしさ 48/100

    seL4/docs#307 ·

  • Improvements to porting page
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 42/100

    seL4/docs#299 · コメント 1 件 · リアクション 1 件 ·

  • Add search
    オープン
    enhancement

    難易度 5/5 1週間以上 初心者へのやさしさ 25/100

    seL4/docs#292 · コメント 3 件 ·

  • Possible RPI4 Documentation Regression with `dtoverlay=disable-bt` and `serial0` kernel patch.
    オープン

    難易度 4/5 3〜5日 初心者へのやさしさ 35/100

    seL4/docs#245 · コメント 4 件 ·

  • Missing system calls on API reference page
    オープン

    難易度 2/5 1〜3時間 初心者へのやさしさ 45/100

    seL4/docs#183 · コメント 1 件 ·

  • Document support of Pine64 Quartz64 Board (RK3566)
    オープン

    難易度 2/5 1〜3時間 初心者へのやさしさ 45/100

    seL4/docs#141 ·

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

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