No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Ali Raza 947c461200 minor changes 3 days ago
kernel no changes 2 weeks ago
.gitignore Makefile update? 2 weeks ago
COPYING server working, need to fix panic 7 months ago
Makefile pushing changes 6 days ago
README.md Update README.md 1 month ago
helloworld.c minor changes 3 days ago
interface.c minor changes 3 days ago
kmain.c server working, need to fix panic 7 months ago
libcMakefile no changes 2 weeks ago
multithread.c no changes 2 weeks ago
network_server.c adding multiple threads code 4 months ago
newserver.c no changes 2 weeks ago
server.c -a 2 months ago
tcpserver.c no changes 2 weeks ago
threadsglibc.c no changes 2 weeks ago
ukl.c memory exhausted: 1 month ago
update_kernel.sh running kmemcached 2 months ago

README.md

UKL

A unikernel based on Linux. https://next.redhat.com/2018/11/14/ukl-a-unikernel-based-on-linux/

Right now, UKL does not build because we are doing some work on Linux kernel build process. Also, this repo is undergoing other development. We will have a stable version soon.