I'm trying to build the webserver for TX2 and am getting an error. I'm building in the

I changed this line: <a href="https://github.com/seL4/camkes-arm-vm/blob/master/compon

I think you might be able to turn KernelArmSMMU off on TX2 with <code class="notransl

<a class="user-mention notranslate" data-hovercard-type="user" data-hovercard-url="/us

Not building correctly on TX2 about sel4webserver HOT 4 OPEN

mikeazo commented on September 28, 2024

Not building correctly on TX2

from sel4webserver.

Comments (4)

mikeazo commented on September 28, 2024

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.

from sel4webserver.

kent-mcleod commented on September 28, 2024

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

from sel4webserver.

mikeazo commented on September 28, 2024

@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.

from sel4webserver.