RE: L4_ThreadIdBits(kip) ?
Jan Stoess <[email protected]> Tue, 9 Nov 2010 19:23:46 +0000
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <[email protected]> |
Hi Bertrand, Have a look at glue/v4-x86/x64/config.h /** * Valid Part of the Global Thread ID */ #define VALID_THREADNO_BITS (18) We didn't see a reason to increase the number of valid bits beyond 18 bits. As virtual addresses are not really a scarce resource on x64, you may be able to increase the value according to your demands. Best, -Jan -- Dr.-Ing. Jan Stoess KIT/UKa System Architecture Group Phone: +49 (721) 608 4056 Fax: +49 (721) 608 7664 http://os.ibds.kit.edu/stoess