Re: The state of Xenomai 4 on Xilinx Zynq-7000 (or ARM32 in general)

Hi Philippe/Jan,

On Tue, Aug 18, 2026 at 5:08 PM Philippe Gerum <[email protected]> wrote:
> Could you try this patch, without the dts fixup, and let us know of the
> outcome?
> [..]
> diff --git a/kernel/time/tick-proxy.c b/kernel/time/tick-proxy.c
> index 5a877987a84e4..6d2b7a860d230 100644
> --- a/kernel/time/tick-proxy.c
> +++ b/kernel/time/tick-proxy.c
> @@ -229,13 +229,16 @@ int tick_setup_proxy(struct clock_proxy_device *dev)
> [..]

I tried this on the original baseline where it hung.  After applying
the fix, it worked like a charm.

Very nice.

Thanks,

-- 


This
email and any attachment(s) it may contain is confidential and is 
intended
solely for the use of the individual(s) to whom it is addressed. 
If you are not
the intended recipient of this email, you must not take 
action based on the
contents, nor distribute, nor expose any part of the 
content(s) to entities or
person(s) beyond the original distribution list. 
Please contact the sender and
delete the email if you have received it in 
error. Thank you.