Bin Meng's repositories
mpfs-buildroot
Dockerfile of building buildroot SDK for Microchip PolarFire SoC
Adaptive-AUTOSAR
Adaptive Runtime AUTOSAR Linux Simulator
curl
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP, SCP, SFTP, SMB, SMBS, SMTP, SMTPS, TELNET and TFTP. libcurl offers a myriad of powerful features
meson
The Meson Build System
MINGW-packages
Package scripts for MinGW-w64 targets to build under MSYS2.
mingw-w64
(Unofficial) Mirror of mingw-w64-code
MSYS2-packages
Package scripts for MSYS2.
riscv-elf-psabi-doc
A RISC-V ELF psABI Document
riscv-isa-manual
RISC-V Instruction Set Manual
riscv-lab-access
Access bookkeeping for RISC-V Lab
riscv-plic-spec
PLIC Specification
riscv-sbi-doc
Documentation for the RISC-V Supervisor Binary Interface
seL4
The seL4 microkernel
seL4-CAmkES-L4v-dockerfiles
Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
trampoline
Trampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.
u-boot-gitlab-ci-runner
U-Boot GitLab CI Runner (fork of https://gitlab.denx.de/u-boot/gitlab-ci-runner)
uboot-test-hooks
Example "hook" scripts for the U-Boot test framework
v86
x86 virtualization in your browser, recompiling x86 to wasm on the fly