Hello,

didn't manage to build camkes-vm. Is there any working setup available or did I make something wrong?

1.)
I tried to build c162_twovm_defconfig with the "default.xml" manifest

1a.) I get compile errors regarding some definitions of seL4_X86.... It seems that seL4_libs (March 2016) are inconsistent with the kernel version (Dec 2015). Updating to a newer kernel, i.e. 3.1.0 solves this issue but creates new ones:

1b.)
The bootinfo struct is too big to fit one page.
I get the error: compile_assert(bi_size, sizeof(seL4_BootInfo) <= BIT(BI_FRAME_SIZE_BITS))
So I reduced the max. no of bootinfo untyped caps from 800 to 167

1c.)
Error: No rule to make target 'libsel4simple-default', needed by 'libsel4platsupport-y'
Since the kernel is not stable, it falls back to default but does not manage to correctly reference the default lib. First, I added the missing symlink in libs. Then, I added the default lib to the main Kconfig and the apps/c162_twovm/Kbuild.

1d.)
The next error is:
x86/pc99/include/vmm/guest_state.h:60:44: error: unknown type name ‘seL4_VCPUContext’
...

2.)
I also tried building with the "working.xml" manifest, which already failed to fetch the correct revisions

2a.)
In the working.xml, I fixed the seL4_libs upstream to 'master'
Also, the kernel revision is broken, seL4.git points to an experimental commit, which couldn't be fetched. I changed it to kernel 3.1.0.

2b.)
The same error as in 1d) appears. This is where I gave up.

Any hints?

Thanks in advance,
Sammey

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel