VMs on L4Re

Dear L4Re team, I'm following your guidance on the steps to get the RPi 4B running with L4Re (https://l4re.org/bsp/rpi.html). I can set up and run very well with your steps. However, I think an image, especially l4re_vm-multi_rpi4.elf, is only for 3 VMs. Could you help me figure out how I can increase the number of VMs, and each VM will run on a different OS, such as Ubuntu, Red Hat, or Kali Linux? Thank you for your support, and have a nice day. Best regards, Quang