From: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
To: Philippe Gerum <rpm@xenomai.org>
Cc: xenomai@xenomai.org
Subject: [Xenomai] ARM/ipipe patches
Date: Fri, 23 Jan 2015 08:52:37 +0100 [thread overview]
Message-ID: <20150123075237.GL29604@hermes.click-hack.org> (raw)
Hi Philippe,
You may have missed the discussion between Jan and me, but I am
opposed to the following commits:
https://git.xenomai.org/ipipe.git/commit/?h=ipipe-3.14&id=7272c23ff5e1be3bfad58497de132e0336649c34
https://git.xenomai.org/ipipe.git/commit/?h=ipipe-3.14&id=5ca7ed6c7c0316de5f494b773f3c7c3263aa726b
as long as Jan does not provide an explanation on how it fixes all
the possible paths (which are not numerous) in entry.S. As long as I
do not have this explanation, I consider these patches of the
half-baked, "works for me" kind and refuse to have to be the one who
on a user bug report, after a lengthy discussion, discover that they
cause some unexpected crashes. And since I am the one maintaining
the I-pipe pat for ARM, this is what is going to happen if they
indeed do not fix all the possible pathes in entry.S. The reason why
I did not make CONFIG_TRACE_IRQFLAGS depend on !IPIPE is because I
expected Jan to provide this explanation since he never said he
would not do it.
Regards.
--
Gilles.
next reply other threads:[~2015-01-23 7:52 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-01-23 7:52 Gilles Chanteperdrix [this message]
2018-06-21 3:49 ` [Xenomai] support GICV3 for arm64 gengdongjiu
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20150123075237.GL29604@hermes.click-hack.org \
--to=gilles.chanteperdrix@xenomai.org \
--cc=rpm@xenomai.org \
--cc=xenomai@xenomai.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.