OpenSynergy

All

10 repositories

unikraft
Public
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C
•
Other
•1.5k•3•0•0•Updated Jun 4, 2024Jun 4, 2024
linux
Public
Linux kernel source tree
C
•
Other
•54k•4•0•5•Updated Feb 1, 2024Feb 1, 2024
arc_uninit
Public
Rust reference counted smart pointers that can be shared before initialization
MIT License
•0•0•0•0•Updated Nov 15, 2023Nov 15, 2023
opsy-codelinaro.org-clo-la-kernel-msm-5.4
Public
FOSS changes of OpenSynergy for https://git.codelinaro.org/clo/la/kernel/msm-5.4.git
C
•
GNU General Public License v2.0
•0•1•0•0•Updated Oct 30, 2023Oct 30, 2023
qemu
Public
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.
C
•
Other
•5.6k•3•0•0•Updated Apr 21, 2023Apr 21, 2023
lib-musl
Public
Port of musl libC
Shell
•
Other
•29•2•0•0•Updated Dec 21, 2022Dec 21, 2022
lib-coqoshv-smevent
Public
COQOS Hypervisor State Manager Event Library
C
•
Other
•1•4•0•0•Updated Oct 12, 2022Oct 12, 2022
android-kernel-common
Public
C
•
Other
•4•8•0•0•Updated Dec 23, 2021Dec 23, 2021
android-kernel-common-modules-virtual-device
Public
C
•4•7•0•0•Updated Oct 27, 2021Oct 27, 2021
pysar
Public
PySAR: a Model-Driven Engineering Framework in Python
Python
•
BSD 2-Clause "Simplified" License
•4•10•0•0•Updated Mar 5, 2018Mar 5, 2018