added initial version of small rt kernel