Thank you for your reply! I found an error in my build.conf so the kernel option I chose was not being used. I am now able to get noux_bash to run on nova and the terminal in the qemu VM works as expected.
I still cannot get sel4 to work properly. The qemu VM opens up and says "Booting Genode on seL4" but gets no further. On the terminal on the host I see this:
[init] child "noux"
[init] RAM quota: 204648K
[init] cap quota: 968
[init] ELF binary: noux
[init] priority: 0
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x4
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x8
[init -> noux] tar archive 'coreutils.tar' local at 0x11c000, size is 8560640
[init -> terminal] cell size is 6x14
[init -> timer] Error: IO_PORT-session creation failed (ram_quota=6K, cap_quota=2, io_port_base=64, io_port_size=4)
[init -> timer] Error: __cxa_guard_abort called
Kernel: Thread 'ep' died because of an uncaught exception
[init -> timer] Error: Uncaught exception of type 'Genode::Service_denied'
[init -> timer] Warning: abort called - thread: ep
[init -> noux] tar archive 'vim.tar' local at 0xb000000, size is 19968000
[init] child "timer" exited with exit value 1
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x10
[init] child "ram_fs" announces service "File_system"
[init -> noux] tar archive 'bash.tar' local at 0x980000, size is 3555328
Warning: void Genode::Rpc_cap_factory::free(Genode::Native_capability) not implemented - resources leaked: 0x20
[init -> drivers] child "report_rom" announces service "Report"
[init -> drivers] child "report_rom" announces service "ROM"
[init -> drivers -> acpi_drv] Found MADT
[init -> drivers -> acpi_drv] MADT IRQ 0 -> GSI 2 flags: 0
[init -> drivers -> acpi_drv] MADT IRQ 5 -> GSI 5 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 9 -> GSI 9 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 10 -> GSI 10 flags: 13
[init -> drivers -> acpi_drv] MADT IRQ 11 -> GSI 11 flags: 13
[init -> drivers -> platform_drv] Error: IO_PORT-session creation failed (ram_quota=6K, cap_quota=2, io_port_base=3320, io_port_size=4)
[init -> drivers -> platform_drv] Error: __cxa_guard_abort called
Kernel: Thread 'ep' died because of an uncaught exception
[init -> drivers -> platform_drv] Error: Uncaught exception of type 'Genode::Service_denied'
[init -> drivers -> platform_drv] Warning: abort called - thread: ep
[init -> drivers] child "platform_drv" exited with exit value 1