Example configuration files out of date

[chunky125]

Example configuration files provided are out of date if used with mainline sel4 git kernel with new variables used in seL4 configuration/build process.

e.g.

KernelSel4ArchAarch64 = true required in addition to KernelSel4Arch = "aarch64" to get build process to process

[jonlamb-gh]

Hi there, pull requests are always welcome if this is something you'd like to tackle.

[chunky125]

No problem, I'll get it up and compiling on mainline and submit something.

[chunky125]

I've managed to get things compiling with the new versions but I'm struggling to debug something in libsel4. The example application in selfe-sys crashes, the backtrace goes from selfe_start, through seL4_SetUserData, and into seL4_GetIPCBuffer.

It appears that the bootinfo is correct, the data passed (the IPC Buffer itself) is OK, but then I get the attached cap fault. I've also attached the binary disassembly around there.

Any brainwaves/pointers readily accepted!

sel4 cap fault message.txt
disassembly of example binary.txt