From: Keith Owens <kaos@ocs.com.au>
To: Mike Castle <dalgoda@ix.netcom.com>
Cc: linux-kernel@vger.kernel.org
Subject: Re: is bzImage container large enough?
Date: Sun, 02 Sep 2001 06:49:09 +1000 [thread overview]
Message-ID: <25853.999377349@ocs3.ocs-net> (raw)
In-Reply-To: Your message of "Sat, 01 Sep 2001 13:42:29 MST." <20010901134229.A16630@thune.mrc-home.com>
On Sat, 1 Sep 2001 13:42:29 -0700,
Mike Castle <dalgoda@ix.netcom.com> wrote:
>On Sun, Sep 02, 2001 at 06:29:41AM +1000, Keith Owens wrote:
>> allmod and make randconfig. Included in separate mail.
>
>randconfig?
>
>This scares me. :->
The config is random but valid, it passes the CML1 validation checks.
randconfig is useful for finding errors in the CML1 checks, it also
finds errors in code which assume that a feature is always present.
>Btw, are such things independent of CML being used? Was wondering if a
>"randconfig" might use CML2 to validate the configuration (as far as CML2
>knows about it). _Might_ be useful to enhance CML2 to track down
>incompatible configurations.
At the moment, randconfig, allyes, allno, allmod only work for CML1.
Doing randconfig in CML2 is awkward, it may be added later.
prev parent reply other threads:[~2001-09-01 20:49 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-09-01 16:28 is bzImage container large enough? Samium Gromoff
2001-09-01 20:29 ` Keith Owens
2001-09-01 20:41 ` Tom Gall
2001-09-01 23:49 ` Anton Blanchard
2001-09-01 20:42 ` Mike Castle
2001-09-01 20:49 ` Keith Owens [this message]
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=25853.999377349@ocs3.ocs-net \
--to=kaos@ocs.com.au \
--cc=dalgoda@ix.netcom.com \
--cc=linux-kernel@vger.kernel.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