Implemented a first version of domain spawning in init and fixed the LMP subsystem. There are some bugs in the paging system however...