I'm trying to install web100 on my PC. I downloaded the linux kernel
2.6.17.6 and got the right web100 patch for that kernel. I get always
the EXTRAVERSION problem and when I run "make menuconfig", i don't get
all the expected options.

The expected options:
Networking options --->[*] Web100 networking enhancements[*] Web100: TCP statistics[*] Web100: Net100 extensions[*] Web100: netlink event notification service
(7) Web100: default winscale initial value

what i get:
Networking options --->
------ Web100 networking enhancements[*] Web100: Extended TCP statistics

(384) Web100: Default file permissions

(0) Web100: Default gid
[*] Web100: Net100 extensions
[*] Web100: Netlink event notification service

and I don't get the last option (that of winscale initial value)

Please advise me, what could be wrong because i did it several times
and it is always the case.

Thank you,
Alaa