Giters
Ellis (Ellis2781)

Ellis2781

Geek Repo

1

followers

0

following

37

stars

Home Page:ellisstyles.net

Github PK Tool:Github PK Tool

Ellis's repositories

Vintrixity

A simple, open source operating system based on the linux kernel

Language:CLicense:GPL-3.0Stargazers:2Issues:0Issues:0

BSD-seL4

An attempt at creating a bsd like environment ontop of the sel4 microkernel

Language:CStargazers:1Issues:0Issues:0

sel4-microwindows

A fork of The Nano-X Window System designed for sel4

Language:CLicense:NOASSERTIONStargazers:1Issues:0Issues:0

tuk

A git based package manager written in C

Language:CStargazers:1Issues:2Issues:0

Ellis2781.github.io

Language:HTMLStargazers:0Issues:0Issues:0

ipad-os

An os designed to run on ipads and iphones

Language:CStargazers:0Issues:0Issues:0

seL4

The seL4 microkernel

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

seL4_tools

Basic tools for building seL4 projects

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

small-linux-src

A small linux distro with the focus on security and stability

Language:MakefileStargazers:0Issues:2Issues:0