Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Missing system calls on API reference page

Abierto
  • ¿Algo no está bien?
#183 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
45/100
Tipo de issue
Documentación
Claridad
Bastante claro
Estado de actividad
Estancado
Stack tecnológico
html
Área
documentation

Línea de trabajo

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.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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.

Lenguaje dominante
HTML
Estrellas
19
Forks
67
Merge medio
2 h 54 min
PR fusionados (30 d)
1

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de seL4/docs

Todos los issues de seL4/docs

Issues similares

Más issues de Documentation

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.