Dunno if anyone would need so much memory with a unikernel, but documenting this one anyway. The reason for not it not being supported is the PCI window which occurs at <4GB, and hence RAM has to be split into multiple regions. The page allocator supports only one region of RAM. It's not hard to support more regions, but we'll just keep it on the list of things to implement using the JIT method.
Dunno if anyone would need so much memory with a unikernel, but documenting this one anyway. The reason for not it not being supported is the PCI window which occurs at <4GB, and hence RAM has to be split into multiple regions. The page allocator supports only one region of RAM. It's not hard to support more regions, but we'll just keep it on the list of things to implement using the JIT method.