Fixed a bug in defs.conf.example, fixed makefile and added a few basic files in kernel and library