> uberSpark (Composable Verification of Commodity System Software) Documentation

Building and Installing

While in the top-level directory of the uberSpark source-tree, perform the following tasks in order:

cd src
./bsconfigure.sh
./configure
make
sudo make install