Shell file for Xinu