Boot Redox OS

Redox OS is an OS written in Rust https://www.redox-os.org/
Trying to boot the latest ISO from https://gitlab.redox-os.org/redox-os/redox/-/releases fails.
I allocate 500 MB RAM and 8 MB VRAM.
This is the text output (it seems to freeze afterwards):
```SeaBIOS (version rel-1.10.0-39-g3fdabae-dirty-20170530_143849-nyu)
Booting from DVD/CD...

ISOLINUX 6.03 20151222 ETCD Copyright (C) 1994-2014 H. Peter Anvin et al
Loading /isolinux/memdisk... ok
Loading /livedisk.gz...ok
MEMDISK 6.03 20151222 Copyright 2001-2014 H. Peter Anvin et al
e820: 0000000000000000 000000000009fc00 1
e820: 000000000009fc00 0000000000000400 2
e820: 00000000000f0000 0000000000010000 2
e820: 0000000000100000 0000000038300000 1
e820: 00000000fffc0000 0000000000040000 2
Ramdisk at 0x35411000, length 0x02feedf8
Moving compressed data from 0x35411000 to 0x24ae3200
gzip image: decompressed addr 0x27ad2000, len 0x1092e000
```