From: Jan Kiszka <jan.kiszka@domain.hid>
To: xenomai-core <xenomai@xenomai.org>
Subject: [Xenomai-core] Feel bored? Run sparse.
Date: Mon, 06 Aug 2007 13:59:31 +0200 [thread overview]
Message-ID: <46B70D23.2020404@domain.hid> (raw)
[-- Attachment #1: Type: text/plain, Size: 742 bytes --]
Hi,
if you ever feel bored and want to contribute something useful to the
Xenomai project, you don't need to (though you still may :)) invent a
new timer subsystem, write another fieldbus stack, or port Xenomai to
your cell phone:
Going through the countless sparse naggings ("make C=2" on your Xenomai
kernel, don't forget to install sparse [1] first), analysing their
reasons and, at best, providing some fix-up patches would be highly
appreciated! At first glance, no serious bug hides behind them, but that
was only a glance, and the noise ratio is fairly high. With less noise
here, we may actually use sparse in the future to find potential bugs.
Thanks,
Jan
[1] http://www.kernel.org/pub/software/devel/sparse/
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 250 bytes --]
reply other threads:[~2007-08-06 11:59 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=46B70D23.2020404@domain.hid \
--to=jan.kiszka@domain.hid \
--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.