From: Franck Bui-Huu <vagabon.xyz@gmail.com>
To: Jonathan Day <imipak@yahoo.com>
Cc: Peter Popov <ppopov@embeddedalley.com>,
Franck <vagabon.xyz@gmail.com>,
Ralf Baechle <ralf@linux-mips.org>,
linux-mips@linux-mips.org
Subject: Re: How to work with Linux-Mips ?
Date: Thu, 28 Sep 2006 10:45:16 +0200 [thread overview]
Message-ID: <451B8B9C.4000803@innova-card.com> (raw)
In-Reply-To: <20060927031800.87246.qmail@web31506.mail.mud.yahoo.com>
Hi
Jonathan Day wrote:
> Whilst I agree entirely, I think we need to put a
> little more perspective on this. The Linux kernel is
> big. Very, very big. By my estimate, it would take an
> army of 10,000+ full-time software engineers skilled
> in "Extreme Programming" and formal methods to be able
> to verify something of the complexity and intricacy of
> the Linux kernel within a single year, excluding any
> changes made during that time, which will likely
> replace so much of the code that the verification
> won't tell you much anyway.
>
> If every company and every University involved in
> Linux - not just every consortium - were to
> contribute, you might be able to amass that kind of
> manpower. One full-time coder for the entire of the
> MIPS side of the tree is valuable and it's doubtful
> any branch could now survive long without at least
> that, one person is simply not capable of replacing
> ten thousand, no matter how brilliant they are.
>
Well, I'm not sure about that. Now knowing that Ralf is not
maintaining/developing on linux-mips tree full time is a good
information to keep in mind. I think he's able to take care of any
MIPS specific code if he had time. The current number of patches sent
to linux-mips is not so big. Look at how Andrew Morton is maintaining
the mm branch. This branch is far more active and patches included in
this tree are far more complex than those sent to this mailing list.
> This isn't to say MIPS Tech should necessarily throw
> in more manpower, although I certainly wouldn't argue
> with that. It's that there's simply no realistic way
> to get enough manpower together to do code reviews in
> the kind of timeframes that people are asking for.
>
Well IMHO MIPS Tech may be under-estimating its Linux kernel port. I
think it's a real advantage to sell some hardwares and to give some
softwares that is already running on that hardware, specially if this
software is a full operating system like Linux. But if MIPS' customers
don't know on how fast this software will involve, will be fixed, it's
a bit scaring to rely on that software.
It would be interesting to know how well Linux is supported on the
different arches keeping in mind the market that they are targeting
(embedded, huge server...).
Franck
next prev parent reply other threads:[~2006-09-28 8:44 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-09-26 7:14 How to work with Linux-Mips ? Franck Bui-Huu
2006-09-26 13:48 ` Ralf Baechle
2006-09-26 14:43 ` Franck Bui-Huu
2006-09-26 19:55 ` Peter Popov
2006-09-27 3:18 ` Jonathan Day
2006-09-28 8:45 ` Franck Bui-Huu [this message]
2006-09-28 7:42 ` Franck Bui-Huu
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=451B8B9C.4000803@innova-card.com \
--to=vagabon.xyz@gmail.com \
--cc=imipak@yahoo.com \
--cc=linux-mips@linux-mips.org \
--cc=ppopov@embeddedalley.com \
--cc=ralf@linux-mips.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox