Specify exact server IP for now
Correct path to microkernel.tar