The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).

This is the main repo for Penglai.

Freedom U540-C000 Bootloader Code

Keystone Enclave (QEMU + HiFive Unleashed)

RISC-V Rocket Core on Parallella & ZedBoard Zynq FPGA Boards

The official Linux kernel from Xilinx

A small, light weight, RISC CPU soft core

Build Customized FPGA Implementations for Vivado

Pure Python PXE (DHCP-(Proxy)/TFTP/HTTP/NBD) Server

The PoC Library has been forked to github.com/VHDL/PoC. See new address below

FOS - FPGA Operating System

Migrate XAPP1292 from KC705 to VCU128, with LWIP211

The OpenPiton Platform

Scalable Network Stack for FPGAs (TCP/IP, RoCEv2)

Framework providing operating system abstractions and a range of shared networking and memory services for common modern heterogeneous platforms.

XLS: Accelerated HW Synthesis

Random instruction generator for RISC-V processor verification

OpenBMC Documentation

OpenBMC is an open software framework to build a complete Linux image for a Board Management Controller (BMC).

Common SystemVerilog components

AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

This is the code porting record of the xapp1292 case of Xilinx We tried to transplant part of the reconfigurable project based on tftp from the KC705 of the kintex7 platform to the VCU128 board of …

HLS-based Graph Processing Framework on FPGAs

training labs and examples

Berkeley's Spatial Array Generator

Open Machine Learning Compiler Framework

Microarchitecture implementation of the decoupled vector-fetch accelerator

Open source FPGA-based NIC and platform for in-network compute

Xilinx Embedded Software (embeddedsw) Development

A fast and scalable x86-64 multicore simulator