MultiBoot USB
This is a project that contains a collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files.
Redox is a Unix-like microkernel operating system written in the programming language Rust, a language with focus on safety and high performance. Redox aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, Minix, Plan 9, and BSD. It is similar to the GNU or BSD ecosystem, but in a memory safe language and with modern technology. It is free and open-source software distributed under an MIT License.