Ah right. OK.

...looking at prepare-kernel.sh...it appears to skip updating the Xenomai 
version numbers if they are already present in init/Kconfig, though the Xenomai 
files appear to be copied anyway...

besides the i-pipe patches does Xenomai itself patch kernel files, besides 
Kconfig? looks pretty minimal if so. I wonder if it makes sense to allow kernel 
preparation of later Xenomai versions to a kernel source tree that's already 
been prepared...so there is a simpler upgrade path... in my experience applying 
i-pipe was the most risky aspect - I had to apply it to an already patched 
kernel and resolve some issues "by hand", and so is something that I *really* 
try and avoid doing, though I do want to stay current with Xenomai...

I guess another approach is to keep a clean kernel patched with i-pipe but pre 
Xenomai....all gets messy....


Marcel.



________________________________________
From: Philippe Gerum <r...@xenomai.org>
Sent: 09 June 2016 13:52:13
To: Marcel Van Mierlo; xenomai@xenomai.org
Subject: Re: [Xenomai] what limits number of pSOS tasks using t_create?

On 06/09/2016 02:45 PM, Marcel Van Mierlo wrote:
> OK, yep that sorted it. Thanks.
>
> MaxThreadsLimit_Pre and MaxThreadsLimit_Post now always succeed, and 
> MaxThreads(5000) fails consistently on 847 every time (which seems about 
> right for the parameters I am using).
>
> root@WPL:/var/wpl# ./wpl.bin --dump-config
> based on Xenomai/cobalt v3.0.2 -- #83d7bfb (2016-06-08 10:51:06 +0200)
>
>
> I noticed that after building Xenomai 3.0.2, updating kernel with 
> prepare-kernel.sh, building kernel and installing Xenomai 3.0.2, dmesg still 
> reports v3.0 (Exact Zero) - would have expected v3.0.2 to be reported?
>
> root@WPL:~# dmesg | grep -i Xen
> [    2.123665] [Xenomai] scheduling class idle registered.
> [    2.123675] [Xenomai] scheduling class rt registered.
> [    2.123815] I-pipe: head domain Xenomai registered.
> [    2.127095] [Xenomai] Cobalt v3.0 (Exact Zero)

You need to start from a fresh, un-prepared kernel tree.

--
Philippe.

_______________________________________________
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to