OpenSynergy

OpenSynergy

Geek Repo

Home Page:http://www.opensynergy.com/

Github PK Tool:Github PK Tool

OpenSynergy's repositories

pysar

PySAR: a Model-Driven Engineering Framework in Python

Language:PythonLicense:BSD-2-ClauseStargazers:9Issues:4Issues:0
Language:CLicense:NOASSERTIONStargazers:7Issues:0Issues:0

linux

Linux kernel source tree

Language:CLicense:NOASSERTIONStargazers:3Issues:3Issues:0

lib-coqoshv-smevent

COQOS Hypervisor State Manager Event Library

Language:CLicense:NOASSERTIONStargazers:2Issues:5Issues:0

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Language:CLicense:NOASSERTIONStargazers:2Issues:2Issues:0

unikraft

Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)

Language:CLicense:NOASSERTIONStargazers:2Issues:2Issues:0

lib-musl

Port of musl libC

Language:ShellLicense:NOASSERTIONStargazers:1Issues:0Issues:0

arc_uninit

Rust reference counted smart pointers that can be shared before initialization

License:MITStargazers:0Issues:3Issues:0

opsy-codelinaro.org-clo-la-kernel-msm-5.4

FOSS changes of OpenSynergy for https://git.codelinaro.org/clo/la/kernel/msm-5.4.git

Language:CLicense:GPL-2.0Stargazers:0Issues:0Issues:0