seL4/docs
Vedi su GitHubThis is the source of the seL4 docs.
- Stelle
- 19
- Fork
- 67
- Issue aperte per principianti
- 0
- Issue indicizzate
- 9
- Merge medio
- 18h 40m
- PR unite (30g)
- 3
- Lingua principale
- HTML
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 18/9/2026
- Ultima indicizzazione
- 20/9/2026
- Guida per i contributori
- Nessuna guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 55/100
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
-
CI
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
-
CI
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
Improvements to porting page Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100
-
Add search Apertaenhancement
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
-
Possible RPI4 Documentation Regression with `dtoverlay=disable-bt` and `serial0` kernel patch. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100