Hi Grant, > I'm not sure what to make of this error. The only major difference between > my project and the reference above is that I am building atop the > camkes-arm-vm project. Could the VM be interfering here?
The interrupt is likely allocated already either because you are using a camkes-arm-vm configuration that's using a virtual console configuration and an instance of the TimeServer alreay exists as a dependency of the SerialServer component. Or as was already suggested, one of the devices being configured as passed through to the VM is the same timer device that the TimeServer is trying to use. Which platform are you targeting? Kent. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
