sid-agrawal Goto Github PK

aasthakm.github.io

awesome-virtualization

Collection of resources about Virtualization

cheribsd

FreeBSD adapted for CHERI-RISC-V and Arm Morello.

dotfiles

Config files for my dev enviroment

dreamyos-sel4-operating-system-aos

A simple operating system (SOS) built on top of the seL4 microkernel

flash_uboot_odroidc4

gapbs

GAP Benchmark Suite

genode

Genode OS Framework

genode-rpi

Raspberry Pi family support for Genode OS framework

insc

Island Network Streams Checkpoint GoLang

ipop-ble-gsoc

Holds code for GSoC 2018 code for IPOP

latrace_examples

linux

Linux kernel source tree

lmbench

memcached

memcached development tree

musllibc

mysql-server

MySQL Server, the world's most popular open source database, and MySQL Cluster, a real-time, open source transactional database.

nanopb

Protocol Buffers with small code size

opensbi

RISC-V Open Source Supervisor Binary Interface

osmosis

postgres

Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch

professional-programming

A collection of learning resources for curious software engineers

quantumfs

A distributed FUSE filesystem optimized for large-scale software development

rasberrypi-firmware

This repository contains pre-compiled binaries of the current Raspberry Pi kernel and modules, userspace libraries, and bootloader/GPU firmware.

refos

Prototype no-assurance reference OS personality built on seL4

refos-manifest

Reference Operating system based on seL4 --- example code

sddf

seL4 Device Driver Framework

sel4

The seL4 microkernel

sel4-camkes-l4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

sel4-gpi

sel4 implementations for the General Purpose Isolation Project