When I try to build vm_serial_server for qemu-arm-virt I get the output below [1]. The features table in the README indicates that VirtIO Console is supported for QEMU Virt is this something on y'alls internal github that hasn't made it out or is the table wrong?

For giggles I moved the qemu-arm-virt with its device.cmakes into the serial-server and flipped settings.cmake to support it...obviously that didn't work :-)

[1]
user@user-dev:~/Documents/labs/rr/os/seL4-AUS/camkes-arm-vm/build-vm_serial_server$ ../init-build.sh -DCAMKES_VM_APP=vm_serial_server -DPLATFORM=qemu-arm-virt
loading initial cache file /home/user/Documents/labs/rr/os/seL4-AUS/camkes-arm-vm/projects/vm/settings.cmake
CMake Error at apps/vm_serial_server/settings.cmake:15 (message):
PLATFORM: qemu-arm-virt not supported.

       Supported: exynos5422

Call Stack (most recent call first):
settings.cmake:61 (include)

-- Configuring incomplete, errors occurred!

Hello,

I'm trying to rebuild the checked in Linux VM image forked from Buildroot. I'm using the included buildroot_tk1_defconfig settings, but these are pointing to a set of kernel files at "/scratch/armvm/projects/linux-tegra". Is this directory checked into a repo anywhere? Other settings (BR2_LINUX_KERNEL_DEFCONFIG="tegra_sel4vm") make this appear to be a custom versioned kernel, and not the kernel provided directly by Nvidia. Any further info would be appreciated.

The README seems to be out of date, and references buildroot directories and files that no longer seem to be in the project repo. I'm looking to use this repo to build out the advertised Debian VM on a tegra TK1 platform, and am new to the seL4-scene -- can someone help out and update the README and other documentation?

Thanks

I am trying to use the menuconfig to enable the Virtual Channel on the odroid version, and there are quite a few steps required to get it functional. (I am using the master branch of the camkes-tool).

First, the libsel4vchan is not a Kbuild dependency, so even when the menuconfig option to build the library is selected, it doesn't compile and the application compilation fails.

Second, the libsel4arm-vmm config option doesn't automatically update to include Vchan support, so the additional items in the vm_t structure don't get updated.

VM.camkes needs include "sel4vchan/vchan_sharemem.h"; since the vchan_sharemem.h link in the src directory is broken, along with vchan_copy.h.

Finally, vchan.c and cmks_vchan_vm.c need the VM.h and Vchan.h updated to camkes.h since CAmkES 3.1 doesn't generate component-named header files anymore.

I don't know if the Virtual Channel feature actually gets used, but it would be nice to have some documentation outlining the required menuconfig steps and how to system is structured. I've attached my defconfig incase you want to add a new config option

I have configured LINUX_RAM_PADDR_BASE to 0x50000000 and LINUX_RAM_SIZE to 0x20000000. However it caused an error : Failed to map page 0x68254000.

If i change LINUX_RAM_SIZE to 0x100000000, it would be ok.

If i change LINUX_RAM_PADDR_BASE to 0x60000000 and LINUX_RAM_SIZE to 0x20000000, it would also caused an error : Failed to map page 0x78254000. It seems like the LINUX_RAM_SIZE cant exceed 0x18254000.

It is confusing. Thanks for any advice!

hi，
Will arm-vm will support zynqmp platform ？
3x