Skip to content

Latest commit

 

History

History
78 lines (55 loc) · 2.28 KB

building.md

File metadata and controls

78 lines (55 loc) · 2.28 KB

Building Demikernel

This document contains instructions on how to build Demikernel on Linux.

The instructions in this file assume that you have at your disposal at one Linux machine with Demikernel's development environment set up. For more information on how to set up Demikernel's development environment, check out instructions in the README.md file.

Table of Contents

Building Demikernel with Default Parameters

# Builds Demikernel with default LibOS.
# This defaults to LIBOS=catnap.
make

# Build Demikernel with Linux Sockets LibOS.
make LIBOS=catnap

# Build Demikernel with DPDK LibOS.
make LIBOS=catnip

# Build Demikernel with Raw Sockets LibOS
make LIBOS=catpowder

Installing Artifacts (Optional)

# Copies build artifacts to your $HOME directory.
make install

# Copies build artifacts to a specific location.
make install INSTALL_PREFIX=/path/to/location

Building API Documentation (Optional)

cargo doc --no-deps    # Build API Documentation
cargo doc --open       # Open API Documentation

Custom Build Parameters for Catnip LibOS (Optional)

The following instructions enable you to tweak the building process for Catnip LibOS.

Override Default Path for DPDK Libraries

Override this parameter if your libdpdk installation is not located in your $HOME directory.

# Build Catnip LibOS with a custom location for DPDK libraries.
make LIBOS=catnip LD_LIBRARY_PATH=/path/to/dpdk/libs

Override Path to DPDK Package Config File

Override this parameter if your libdpdk installation is not located in your $HOME directory.

# Build Catnip LibOS with a custom location for DPDK package config files.
make PKG_CONFIG_PATH=/path/to/dpdk/pkgconfig