Other Settings and starting the server

Before starting the server the file containing all information about nodes(node_Inf_file) must be present in the bin directory

To start the server, go to the $HOME/cleanARC/kernel/bin directory and give the command