You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As of seL4_libs commit bdcec827602c8efb041b45f0892e0e5d958526ed, sel4bench_counter_t was replaced with ccnt_t. This has not been updated in camkes/timing.h, so the generated code fails when the enable collection of timing data for connectors menuconfig option is selected.
Thanks for letting us know about this. I applied your patch internally and it should be pushed out once it passes through our regression.
We aren't currently using that feature for anything internally, which was why we hadn't noticed it broke. I'm curious what you are using it for and whether we need to set up a regression test for this feature to prevent it breaking in the future.
One of the engineers at DornerWorks developed performance monitoring tools building off the existing tools provided by the kernel. Part of that was tracking CAmkES thread utilization, and that menuconfig option was one that his document said to select. He had worked with 2.3 & 5.1, so it wasn't an issue for him.
Hello,
As of
seL4_libs
commitbdcec827602c8efb041b45f0892e0e5d958526ed
,sel4bench_counter_t
was replaced withccnt_t
. This has not been updated incamkes/timing.h
, so the generated code fails when theenable collection of timing data for connectors
menuconfig option is selected.Here is a patch that fixed the issue for me.
The text was updated successfully, but these errors were encountered: