Ellis2781

Pinned Repositories

BSD-seL4
An attempt at creating a bsd like environment ontop of the sel4 microkernel
Language:C1 2 00
Ellis2781.github.io
Language:HTML0 2 00
ipad-os
An os designed to run on ipads and iphones
Language:C00
seL4
The seL4 microkernel
Language:C0 1 00
sel4-microwindows
A fork of The Nano-X Window System designed for sel4
Language:C10
seL4_tools
Basic tools for building seL4 projects
Language:C0 1 00
small-linux-src
A small linux distro with the focus on security and stability
Language:Makefile0 2 00
tuk
A git based package manager written in C
Language:C1 2 00
Vintrixity
A simple, open source operating system based on the linux kernel
Language:C20

Ellis2781's Repositories

Ellis2781/Vintrixity
A simple, open source operating system based on the linux kernel
Language:C20
Ellis2781/BSD-seL4
An attempt at creating a bsd like environment ontop of the sel4 microkernel
Language:C1 2 00
Ellis2781/sel4-microwindows
A fork of The Nano-X Window System designed for sel4
Language:C10
Ellis2781/tuk
A git based package manager written in C
Language:C1 2 00
Ellis2781/Ellis2781.github.io
Language:HTML0 2 00
Ellis2781/ipad-os
An os designed to run on ipads and iphones
Language:C00
Ellis2781/seL4
The seL4 microkernel
Language:C0 1 00
Ellis2781/seL4_tools
Basic tools for building seL4 projects
Language:C0 1 00
Ellis2781/small-linux-src
A small linux distro with the focus on security and stability
Language:Makefile0 2 00