Docker has little overhead and wouldn’t this require running the entire kernelmultiple times, take up more RAM?

Also dynamically allocating the RAM seems more efficient than having to assign each kernel a portion at boot.