zetalog Goto Github PK

followers: 22.0 following: 6.0 repos: 40.0 gists: 0.0

Name: Lv 'ZETALOG' Zheng

Type: User

Company: Free Developer

Bio: Owner of sdfirm, a small device firmware and IoT RTOS. Experienced developer in system software and silicon design. See also @zhenglv.

Location: Shanghai, China

Blog: sdfirm.sourceforge.net

Lv 'ZETALOG' Zheng's Projects

acpica

The ACPI Component Architecture (ACPICA) project provides an operating system (OS)-independent reference implementation of the Advanced Configuration and Power Interface Specification (ACPI).

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

bare-os

Software from the tomb of pharaoh Bare-Os. Bare-metal on the Raspi.

bug2issue

Converting bugzilla bugs/descs/attachments into GitHub Issues/Comments/Attachments.

chisel3

Chisel 3: A Modern Hardware Design Language

Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.

core-v-verif

Functional verification project for the CORE-V family of RISC-V cores.

cunit

Unit test facility designed for C language.

cv32e40p

CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform

ewokos

A microkernel os

ezylist

A perl based CGI web site that can dispatch emails according to the configuration.

gem5

This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews should be submitted to https://gem5-review.googlesource.com/. The mirrors are synchronized every 15 minutes.

git-utils

Wrapper of GIT commands

herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

kvm-riscv-howto

KVM RISC-V HowTOs

kvm-riscv-linux

Linux KVM RISC-V repo

linux

Linux kernel source tree

litmus-tests-riscv

RISC-V architecture concurrency model litmus tests

litmus-win32-demo

A demo program running on Windows to demonstrate generated litmus tests.

lk

LK embedded kernel

lvgl

Embedded graphics library to create beautiful UIs for any MCU, MPU and display type. It's boosted by a professional yet affordable drag and drop UI editor, called SquareLine Studio.