EROS_(microkernel) loading ...