Not building correctly on TX2

[mikeazo]

I'm trying to build the webserver for TX2 and am getting an error. I'm building in the docker container with all the right dependencies installed. Here is the error I get.

/usr/lib/gcc-cross/aarch64-linux-gnu/8/../../../../aarch64-linux-gnu/bin/ld: CMakeFiles/vm0.instance.bin.dir/host/sel4-webserver/projects/camkes-arm-vm/components/VM/src/main.c.obj: in function `main_continued':
/host/sel4-webserver/projects/camkes-arm-vm/components/VM/src/main.c:1071: undefined reference to `simple_get_iospace_cap_count'
/usr/lib/gcc-cross/aarch64-linux-gnu/8/../../../../aarch64-linux-gnu/bin/ld: /host/sel4-webserver/projects/camkes-arm-vm/components/VM/src/main.c:1076: undefined reference to `simple_get_nth_iospace_cap'
collect2: error: ld returned 1 exit status
[4/95] Performing update step for 'docsite'
Current branch master is up to date.
ninja: build stopped: subcommand failed.

Any idea how to fix this?

[mikeazo]

I changed this line: https://github.com/seL4/camkes-arm-vm/blob/master/components/VM/src/main.c#L1068 to #ifdef CONFIG_TK1_SMMU, just so it wouldn't include the code that it was failing on, and it built the image properly and everything seems to work just fine now. That is probably a hack and I'm assuming there is a better fix out there.

[kent-mcleod]

I think you might be able to turn KernelArmSMMU off on TX2 with cmake -DKernelArmSMMU <build-dir-path>.

[mikeazo]

@kent-mcleod I did try that, it didn't seem to fix the error. The workaround I've listed above still works though. I didn't have time to test much more though.

[axel-h]

In the github CI there is no issues with the TX2 platform. Do you still see this issue locally or can we close this?