Skip to content
View haizzus's full-sized avatar
💭
Code for food
💭
Code for food

Block or report haizzus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Educational microkernel in Rust - build a real bootable kernel for AArch64 QEMU virt. 5-part blog series from boot to virtual memory.

Rust 22 Updated Apr 9, 2026

Modern, advanced, portable, multiprotocol bootloader and boot manager.

C 2,998 189 Updated Apr 14, 2026

Pragmatic microkernel-based OS with fully asynchronous I/O

C++ 1,878 94 Updated Apr 14, 2026

This repository contains the source code of toro unikernel

Pascal 359 33 Updated Feb 21, 2026

The root repo for lowRISC project and FPGA demos.

SystemVerilog 602 145 Updated Aug 3, 2023

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

Tcl 1,064 244 Updated Feb 14, 2026

Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

C++ 1,409 99 Updated Apr 13, 2026

A collection of lock-free data structures written in standard C++11

C++ 964 61 Updated Feb 23, 2026

An EFI application and driver to add SSDTs and/or patch in your own DSDT

C 46 3 Updated Sep 15, 2023

mirrored from git://arago-project.org/git/projects/u-boot-am33x.git

C 3 1 Updated Oct 19, 2018

HAProxy Load Balancer's development branch (mirror of git.haproxy.org)

C 6,467 917 Updated Apr 15, 2026

The USRP™ Hardware Driver Repository

Verilog 1,222 752 Updated Apr 14, 2026

Universal Radio Hacker: Investigate Wireless Protocols Like A Boss

Python 12,352 996 Updated Dec 19, 2025

The Serenity Operating System 🐞

C++ 33,088 3,320 Updated Apr 14, 2026

low cost software radio platform

C 7,781 1,681 Updated Apr 15, 2026

Linux kernel variant from Analog Devices; see README.md for details

C 617 943 Updated Apr 15, 2026

for NetBSD project.

Makefile 129 38 Updated Apr 12, 2026

Small footprint and configurable PCIe core

Python 680 158 Updated Apr 3, 2026

Yocto BSP layer for the PINE64 ROCKPro64 board

8 3 Updated Jan 6, 2019

A serial port communication software based on QT

C++ 106 74 Updated Mar 19, 2015

A cross platform Serial-Port/TCP/UDP debugging tool.

C++ 764 256 Updated Sep 13, 2023

Instructions for building lineageos 17.1 for the pixel 3a sargo

Shell 31 6 Updated Jul 14, 2021

Vitis In-Depth Tutorials

C 1,559 613 Updated Mar 25, 2026

Xvisor: eXtensible Versatile hypervISOR

C 613 270 Updated Mar 20, 2026

A sample of QtQuick 2 providing material and fluent design themes in PyQt5.

Python 378 78 Updated Oct 30, 2022

open-source IEEE 802.11 WiFi baseband FPGA (chip) design: driver, software

C 4,588 775 Updated Apr 13, 2026

Support for Rocket Chip on Zynq FPGAs

Tcl 40 20 Updated Apr 24, 2019

Bao, a Lightweight Static Partitioning Hypervisor

C 522 174 Updated Apr 15, 2026

A curated list of delightful Embedded Systems libraries, RTOSes, modules, references and more!

959 111 Updated Jan 4, 2024