Re: error in requesting pages from sigma0

Philipp Kupferschmied <[email protected]> Mon, 22 Sep 2008 17:34:24 +0200

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

> need you help.
> I am trying to call L4_Sigma0_GetPage() to get fpages from sigma0
> but when I run the code, it stops at an assertion,
>
> Assertion page_size == 12  failed in file /usr/src/..../arch/mips64/tlb.h
> line 253
>
> KD# assert
> current ASID is 2
> .,....

Seems as if you are working with the MIPS64 version of Pistachio?! This version is marked as discontinued on the L4 web page, and I have no idea to what extent it was or is working.

What page size did you specify in your call to L4_Sigma0_GetPage()?

Philipp