RE: l4test hang from CONFIG_X_PAGER_EXREGS

Jan Stoess <[email protected]> Fri, 15 Jan 2010 10:35:52 +0100
Newsgroups gmane.comp.micro-kernel.l4.l4ka.general
Message-ID <[email protected]>
Hi Sam, 

> #define CONFIG_X_PAGER_EXREGS
> 
>  From reading the code it is fairly clear what this config does, but I did not see
> it anywhere as part of the "make menuconfig" for the kernel, so I had to add
> it manually.  I am not sure if this is something new or something on its way
> out, but I did want to let you know so you can either enable this by default or
> change the IPC test.

That makes sense. The reasons why it's an experimental feature is that it contradicts the spec. Some code path in l4test relies on it though. I'll at a catcher to find if pagerexregs is advertised as a kernel feature, and skip the test if not. 

>  From reading the code it is fairly clear what this config does, but I did not see
> it anywhere as part of the "make menuconfig" for the kernel, so I had to add
> it manually.  I am not sure if this is something new or something on its way
> out, but I did want to let you know so you can either enable this by default or
> change the IPC test.

It is actually a menuconfig option. You have to enable experimental features in the kernel menu.

-Jan
--
Jan Stoess
KIT/UKa System Architecture Group
Phone: +49 (721) 608-4056
Fax: +49 (721) 608-7664
eMail: [email protected]