On Mon, Jan 10, 2000 at 01:15:54PM -0500, der Mouse wrote:
> > Do we have any policy on the use of lint against the kernel, and
> > adding lint commands to the kernel for that purpose?
> 
> > I ask because I'd like to strip all the /* ARGSUSED */ stuff out of
> > sys/arch/pmax - it's used in maybe 4 or 5 files.
> 
> Do we ever want to build the kernel with anything but gcc?  (Even the

We run on several platforms where the native compilers produce code that's
a lot faster than gcc-compiled code -- on the order of 30% in some cases!

And we can run those compilers in emulation.

On at least three (alpha/sparc/sparc64) the native compilers even produce the
right object format (the Linux version of the DEC compiler produces ELF,
though the DUnix version does not) so that a kernel could concievably be
built without requiring serious binutils foo.

It'd be nice if we could try to keep gcc-dependencies to a minimum, though
eliminating them entirely seems unlikely.

Thor