tyyteam/la-seL4 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

tyyteam/la-seL4

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/tyyteam/la-seL4)

Close

tyyteam / la-seL4View on GitHubMore

• External links
• Readme badge

The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4

☆21Jan 30, 2023Updated 3 years ago

Alternatives and similar repositories for la-seL4

Users that are interested in la-seL4 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• foxsen / qemu-loongarch-runenv

  View on GitHub
  Environment for experimenting loongarch bios and OS on X86 machines
  ☆67May 24, 2026Updated last month
• isnthzy / lightsss-chiplab

  View on GitHub
  本项目已被合并至官方Chiplab中
  ☆14Jan 13, 2025Updated last year
• LoongsonLab / oscomp-documents

  View on GitHub
  LoongArch常见的文档资料以及说明文档
  ☆14Mar 6, 2024Updated 2 years ago
• arceos-hypervisor / axvisor

  View on GitHub
  Unified modular arceos-hypervisor
  ☆46Apr 8, 2026Updated 2 months ago
• isnthzy / nscscc2024-liangyi

  View on GitHub
  nscscc2024，HPU河南理工大学参赛作品，两仪处理器
  ☆12Aug 24, 2024Updated last year
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• yangxiaojuan-loongson / qemu-binary

  View on GitHub
  ☆35Nov 26, 2024Updated last year
• loongson / build-tools

  View on GitHub
  Build tools for Loongson (Binary)
  ☆57Aug 8, 2025Updated 10 months ago
• yordan-karadzhov / kernel-shark

  View on GitHub
  Check the README to find the official repository of KernelShark. This repository is not considered stable.
  ☆36Jun 4, 2026Updated last month
• RowanSu / NPU-Thesis-LaTeX-Template

  View on GitHub
  ☆22May 10, 2025Updated last year
• ADS-ENTC / simd-processor

  View on GitHub
  Matrix multiplication accelerator on ZYNQ SoC.
  ☆12Apr 29, 2025Updated last year
• loongson / qemu

  View on GitHub
  Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…
  ☆47Jun 8, 2026Updated 3 weeks ago
• loongson / la-asm-manual

  View on GitHub
  ☆23Jan 17, 2026Updated 5 months ago
• CY0807 / ZYNQ_PL_CONV_ACC

  View on GitHub
  一个基于AXI接口的PL端卷积加速器，可由PS端调用
  ☆12Apr 15, 2023Updated 3 years ago
• Baozixu99 / NPUcoreLA

  View on GitHub
  NPUcoreLA为2024年全国大学生计算机系统能力大赛-操作系统设计赛-OS内核实现赛道的参赛作品。
  ☆14Oct 23, 2024Updated last year
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• fixstars / cRTOS

  View on GitHub
  Compound Real-time Operating System
  ☆19Aug 15, 2020Updated 5 years ago
• ninolomata / bao-cva6-guide

  View on GitHub
  ☆14Nov 9, 2023Updated 2 years ago
• jinguojie-loongson / loongson-app

  View on GitHub
  龙芯应用公社 Loongson Application Community
  ☆12Oct 11, 2017Updated 8 years ago
• GuoYS0010 / GROL-OS

  View on GitHub
  a riscv64 os on LicheePi4A
  ☆16Jul 16, 2024Updated last year
• LearningOS / uCore-Tutorial-Code-2024S

  View on GitHub
  ☆16Feb 27, 2024Updated 2 years ago
• MIPS / FreeRTOS

  View on GitHub
  This is a fork of FreeRTOS providing support for mips32 compliant cores from mip32r2 to mips32r6 and includes support for the microMIPS I…
  ☆14Jan 11, 2018Updated 8 years ago
• aaronshappell / tage-predictor

  View on GitHub
  SystemVerilog implemention of the TAGE branch predictor
  ☆14May 26, 2021Updated 5 years ago
• Anillc / Yuri

  View on GitHub
  A riscv emulator.
  ☆19Feb 5, 2024Updated 2 years ago
• betta-cyber / netease_music_api

  View on GitHub
  netease cloud music api for python
  ☆15Jul 25, 2023Updated 2 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• sunhaiyong1978 / CLFS-for-LoongArch

  View on GitHub
  如何交叉编译一个基于LoongArch架构的LFS（Linux From Scratch）系统。
  ☆198Jun 1, 2026Updated last month
• loongson / gcc

  View on GitHub
  ☆27May 16, 2024Updated 2 years ago
• massix / gleamfonts

  View on GitHub
  Small CLI tool to download and install nerdfonts on Termux environment
  ☆12Aug 13, 2024Updated last year
• LearningOS / uCore-Tutorial-Code-2022S

  View on GitHub
  ☆15Mar 29, 2023Updated 3 years ago
• loongson / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆11Mar 21, 2023Updated 3 years ago
• hust-open-atom-club / docs

  View on GitHub
  华科开放原子开源俱乐部对外公开文档
  ☆18Jun 3, 2026Updated last month
• lycfly / EasyNPU

  View on GitHub
  A small Neural Network Processor for Edge devices.
  ☆19Nov 22, 2022Updated 3 years ago
• RPTU-EIS / RISCV-Core

  View on GitHub
  5-stage RISC-V core (RV32IM) with pipelining designed for educational purposes by RPTU Kaiserslautern, Germany
  ☆14Dec 4, 2025Updated 7 months ago
• QingQiz / BmsToOsu

  View on GitHub
  Convert BMS beatmap to osu!mania 7k/7+1k beatmap
  ☆14Mar 18, 2025Updated last year
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• nyuichi / chisel-uart

  View on GitHub
  Uart module written in chisel
  ☆13Feb 19, 2016Updated 10 years ago
• cnrv / RVSC2023

  View on GitHub
  RISC-V Summit China 2023
  ☆40Sep 27, 2023Updated 2 years ago
• ved-rivos / iommu-rtl

  View on GitHub
  RISC-V IOMMU in verilog
  ☆22Jun 18, 2022Updated 4 years ago
• fluctlight001 / nscscc2022_single_tools

  View on GitHub
  龙芯杯个人赛工具包（适用于个人赛的golden_trace工具）
  ☆64Mar 6, 2024Updated 2 years ago
• loongson-community / discussions

  View on GitHub
  跨社区工单追踪 & 讨论场所 / Cross-community issue tracker & discussions
  ☆22Oct 13, 2023Updated 2 years ago
• EricJin2002 / UCAS-CA-2022

  View on GitHub
  一个单发射五级静态流水CPU，采用龙芯32位精简版指令集，支持异常和中断处理，使用AXI总线接口，已集成TLB模块
  ☆19Jan 12, 2023Updated 3 years ago
• msdos03 / avanta-uboot-f660

  View on GitHub
  ZTE F460 v3, ZTE F660 v3, ZTE F420 v3, ZTE F620 v3 (Marvell SoC) custom U-Boot. Only support 32bit Linux. Official Toolchain link: https:…
  ☆20Jun 14, 2024Updated 2 years ago