Saltar al contenido principal
buildradar
Sign in
Tema · microkernel

microkernel

Repositorios de código abierto monitorizados etiquetados con microkernel, ordenados por estrellas.

Repositorios
16
Estrellas totales
57.710
Estrellas de media
3607
Proporción
0,00%

Temas que aparecen con frecuencia junto a microkernel en un mismo repositorio.

Emergentes recientes

Repositorios creados en los últimos 90 días, etiquetados con microkernel.

No hay repositorios nuevos con este tema en los últimos 90 días.

  • redox@redox-os

    Espejo de https://gitlab.redox-os.org/redox-os/redox

    16.541+16Variación de estrellas de los últimos 7 días
  • rt-thread@RT-Thread

    RT-Thread es un sistema operativo en tiempo real (RTOS) de código abierto para IoT. https://rt-thread.github.io/rt-thread/

    12.176+13Variación de estrellas de los últimos 7 días
  • astrid@astrid-runtime

    Astrid es un sistema operativo portátil y seguro por capacidades para software componible.

    10.273+3Variación de estrellas de los últimos 7 días
  • seL4@seL4

    El micronúcleo seL4

    5722+18Variación de estrellas de los últimos 7 días
  • managarm@managarm

    Sistema operativo pragmático basado en micronúcleo con E/S completamente asíncrona.

    1970+4Variación de estrellas de los últimos 7 días
  • zCore@rcore-os

    Microkernel Zircon reimplementado en Rust.

    1778+2Variación de estrellas de los últimos 7 días
  • helenos@HelenOS

    Un sistema operativo multiserver basado en microkernel portátil escrito desde cero.

    1584+4Variación de estrellas de los últimos 7 días
  • Intercambio técnico sobre el sistema operativo distribuido Huawei HarmonyOS (Harmony Next) y OpenHarmony, con la base de datos, manuales y guías más completos para construir el ecosistema de interconexión de dispositivos.

    1379+3Variación de estrellas de los últimos 7 días
  • brutal@brutal-org

    🏢 An operating system inspired by brutalist design that combines the ideals of UNIX from the 1970s with modern technology and engineering

    1111Variación de estrellas de los últimos 7 días
  • kernel@redox-os

    Espejo de https://gitlab.redox-os.org/redox-os/kernel

    903+3Variación de estrellas de los últimos 7 días
  • FreeNOS@nieklinnenbank

    FreeNOS (Free Niek's Operating System) es un sistema operativo experimental basado en microkernel para fines educativos escrito en C++. Puedes usar el código como desees bajo los términos de la GPLv3.

    880+0Variación de estrellas de los últimos 7 días
  • WingOS@Supercip971

    Un pequeño sistema operativo de microkernel de 64 bits escrito en C++ con soporte para SMP.

    768-3Variación de estrellas de los últimos 7 días
  • f9-kernel@f9micro

    Microkernel eficiente y seguro diseñado para núcleos ARM Cortex-M, inspirado en L4.

    763+1Variación de estrellas de los últimos 7 días
  • k23@JonasKruckenberg

    Sistema operativo de microkernel WASM experimental

    650+0Variación de estrellas de los últimos 7 días
  • ghost@maxdev1

    Ghost, un sistema operativo de pasatiempo basado en microkernel.

    649+0Variación de estrellas de los últimos 7 días
  • resea@nuta

    Un sistema operativo hackeable basado en microkernel.

    568+0Variación de estrellas de los últimos 7 días
← Volver a temas