[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Howto create 64bit Kernel?



On Tue, May 01, 2007 at 05:55:16PM +0200, Stefan Drees wrote:
> Rob Andrews schrieb:
> > On 01-May-2007 15:35.56 (BST), Stefan Drees wrote:
> >  > I downloaded the fresh source and created the right link. make
> >  > menuconfig shows me
> >  > under "Processor family" only 386 - Pentium... - VIA C3-2. These are
> >  > only 32bit cpu??s.
> >
> > Stefan;
> >
> > It sounds a lot like you have a 32-bit installation. If this is the case,
> > you should probably consider reinstalling with a 64-bit installation
> > instead. That is the easiest way.
> >
> > There is no easy way of converting an existing 32-bit installation to
> > 64-bit, but if you want a 64-bit kernel and 32-bit userspace for
> > compatibility, ensure you have a gcc that can generate x86_64 binaries, and
> > perform all kernel "make" commands (including menuconfig) with, e.g.:
> >
> >     make ARCH=x86_64
> >
> > In the parameters.
> >
> > Although, if you want simplicity, you should really just use the prebuilt
> > Debian kernel packages. There are 64-bit kernels available for the i386
> > port.
> >
> > Kind regards,
> > rob.
> >
> >   
> 
> Thanks, that was it. With ARCH=x86_64 i can create a 64bit kernel (can
> select 64bit cpu).
> I´m working with many new hardware because of that, i need an kernel
> with updated driver
> and debian doesn´t update the kernel after an freeze.

you might want to track unstable or even testing


> 
> Thanks, to all for your help.
> 
> Regards
> Stefan D.
> 
> 
> -- 
> To UNSUBSCRIBE, email to debian-amd64-REQUEST@lists.debian.org
> with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
> 
> 

Attachment: signature.asc
Description: Digital signature


Reply to: