Skip to content

jasongorski/ukl

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

A unikernel based on Linux

HotOS paper
Blog post

An example of Linux unikernel: TCP echo server

Assuming you are running Fedora, you need the following packages. Run the following command to install them.

    sudo dnf install qemu supermin git elfutils-devel kernel-devel
    sudo dnf groupinstall "C Development Tools and Libraries"

UKL requires other Git repos as well. Follow the directions below to download and build them.

  1. This Makefile assumes that you have a main directory in which you have three further sub directories. Follow the commands below to get the correct directory layout. (This will not be necessary as we update the Makefile)
    mkdir unikernel
    cd unikernel
    git clone https://github.com/razaaliraza/linux.git
    git clone https://github.com/razaaliraza/ukl.git
    git clone https://github.com/razaaliraza/min-initrd.git
  1. Build Linux
    Note: This will fail at the very end (linking step). Thats ok.
    cd linux
    make olddefconfig
    make -j
  1. Build usercode
    cd ../ukl
    make tcptest

This step will build tcp code and link everything together in a single bzImage

  1. Run UKL. This step might take a while because supermin has to create an initrd.
    make run

If this step fails because you dont have KVM enabled on your machine, go to min-initrd directory and open Makefile. Delete enable-kvm flag from run command.

If you get messages about module version mismatch when the kernel boots up, you might want to look at this Supermin page.

  1. From a separate terminal, run telnet
    telnet 127.0.0.1 5555

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Makefile 70.8%
  • C 29.2%