lkml.org 
[lkml]   [2002]   [Jan]   [12]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [PATCH] 1-2-3 GB
    On Fri, Jan 11, 2002 at 11:32:37PM -0800, H. Peter Anvin wrote:
    > Followup to: <20020112004528.A159@earthlink.net>
    > By author: rwhron@earthlink.net
    > In newsgroup: linux.dev.kernel
    > > --- linux.aa2/arch/i386/config.in Fri Jan 11 20:57:58 2002
    > > +++ linux/arch/i386/config.in Fri Jan 11 22:20:32 2002
    > > @@ -169,7 +169,11 @@
    > > if [ "$CONFIG_HIGHMEM64G" = "y" ]; then
    > > define_bool CONFIG_X86_PAE y
    > > else
    > > - bool '3.5GB user address space' CONFIG_05GB
    > > + choice 'Maximum Virtual Memory' \
    > > + "3GB CONFIG_1GB \
    > > + 2GB CONFIG_2GB \
    > > + 1GB CONFIG_3GB \
    > > + 05GB CONFIG_05GB" 3GB
    > > fi
    >
    > Calling this "Maximum Virtual Memory" is misleading at best. This is
    > best described as "kernel:user split" (3:1, 2:2, 1:3, 3.5:0.5);
    > "maximum virtual memory" sounds to me a lot like the opposite of what
    > your parameter is.

    actually it is really max virtual memory.. but from the user point of
    view, user is supposed to care about the virtual memory he can manage,
    not about what the kernel will do with the rest. So if the user wants
    3GB of virtual memory available to each task he will select 3GB. I
    really don't mind if you want to change it from the kernel point of
    view, but given it's the user who's supposed to compile it, also the
    current patch looks good enough to me.

    Andrea
    -
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2005-03-22 13:15    [W:4.036 / U:0.408 seconds]
    ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site