Open kent-mcleod opened 2 years ago
(Moved from https://sel4.atlassian.net/browse/SELFOUR-2272) The timer tests are failing and are disabled for the zynqmp platform in settings.cmake currently. This appears to be due to using the same timers as the zc706 platform, but without updating the input clk frequencies for the different platform (see also https://github.com/seL4/util_libs/issues/119)
settings.cmake
(Moved from https://sel4.atlassian.net/browse/SELFOUR-2272) The timer tests are failing and are disabled for the zynqmp platform in
settings.cmakecurrently. This appears to be due to using the same timers as the zc706 platform, but without updating the input clk frequencies for the different platform (see also https://github.com/seL4/util_libs/issues/119)