• 1
• 0
• 0

zhanghengtian/seminix

• 1
• 1
• 0

seminix/seminix

seminix 组件

• 1
• 0
• 0

seminix/qemu-aarch64-virt

基于 qemu aarch64 virt 机型的 seminix 测试 demo.

• 1
• 0
• 0

simink/qemu-aarch64-virt

• 1
• 0
• 0

zhanghengtian/mlnx5_rpm

• 1
• 0
• 0

simink/seminix

seminix 组件

• 1
• 0
• 0

zhanghengtian/sel4

• 1
• 0
• 0

seminix-old/seminix-runtime

seminix 内核运行时支持

• 1
• 0
• 0

seminix-old/seminix

seminix 内核

• 1
• 0
• 0

simink/simink

嵌入式板级模拟器

• 1
• 0
• 0

zhanghengtian/hokk

• 1
• 0
• 0

seminix-old/seminix-old

seminix 内核

• 1
• 0
• 0

seminix-old/seminix-rust

seminix 内核

• 1
• 0
• 0

seminix-old/seminix-runtime-old

fffffffffffff

• 1
• 0
• 0

zhanghengtian/scrape_agu

• 1
• 0
• 0

seminix-old/seminix-rust-old

seminix rust kernel

• 1
• 0
• 0

zhanghengtian/seminix-old

一个参考 sel4 演变而来的微内核, 目标是硬实时, 安全可靠, 小巧简洁, 高度可定制, 并且支持多个平台.

• 1
• 1
• 0

zhanghengtian/util_libs

Seminix 项目通用实用的库.

• 1
• 0
• 0

zhanghengtian/hello_world_manifest

一个 seminix 内核的用户态 rootserver 程序的演示 demo.

• 1
• 0
• 0

zhanghengtian/hello_world

一个使用 seminix 微内核的用户态 rootserver 服务程序 demo.