MantisOS source code is available in /comb/trunk/systems/MANTIS_OS/trunk/. A configure script is available in each platform subdirectory to build the system

To build a system for BSN2 nodes you have to go to /comb/trunk/systems/MANTIS_OS/trunk/build/bsn2 and do

chmod 755 configure
./configure --optimize
make

To build a sample application go to comb/trunk/systems/MANTIS_OS/trunk/build/bsn2/src/apps and blink_led.

#! /bin/sh
WSIM=~/wasp/build/wsim/platforms/iclbsn/wsim-iclbsn2

MODE="--mode=time --modearg=10s"

${WSIM} ${MODE} --ui $1