t; == ending ==
> >
> > Furthermore, no matter which approach is taken, it is important to
> document the assertions/assumptions that must hold to lead to the
> correctness of the implemented IPCC.
> >
> >
> > Best Regards,
> > Jian-Jia Chen
> >
>
IPCC.
>
>
> Best Regards,
> Jian-Jia Chen
>
>
>
> On Sep 16, 2022, at 9:47 AM, Kuan-Hsun Chen wrote:
>
>
>
> -- Forwarded message -
> From: Sebastian Huber
>
> Date: Fri, Sep 16, 2022 at 08:09
> Subject: Re: [PATCH] icpp remedy
On 15.09.22 00:06, Gedare Bloom wrote:
On Tue, Sep 13, 2022 at 12:42 PM Kuan-Hsun Chen wrote:
Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and go
through the issue.
Is there a test case for this?
Yes, a test case is also ready to be reviewed and can be part of the
On Tue, Sep 13, 2022 at 12:42 PM Kuan-Hsun Chen wrote:
>
> Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and go
> through the issue.
>
> >Is there a test case for this?
> Yes, a test case is also ready to be reviewed and can be part of the
> testsuite to test out ICPP (M
Thanks for the prompt reply. Yes, I will guide Junjie to make a ticket and
go through the issue.
>Is there a test case for this?
Yes, a test case is also ready to be reviewed and can be part of the
testsuite to test out ICPP (MrsP should also pass).
> If it applies to 5 or 4.11, there needs to be
On Tue, Sep 13, 2022, 1:14 PM Kuan-Hsun Chen wrote:
> (Oh, I just noticed that the patch was submitted faster than my mail to
> share this patch :P).
>
No problem. That's why I asked what the issue was.
It needs at least a much better log message. It needs a ticket given the
gravity of the issu
What is this a remedy for?
Why isn't the helper method OK to use?
--joel
On Tue, Sep 13, 2022 at 7:41 AM Strange369
wrote:
> ---
> cpukit/include/rtems/score/coremuteximpl.h | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
> diff --git a/cpukit/include/rtems/score/coremuteximpl.h
> b
