minor updates in preperation for proper sim module
start debugging the mini kernel and loader 'pk'