Problems with python to compile seL4

Jorge Ventura jorge.araujo.ventura at
Tue Jul 29 15:09:44 CEST 2014

I am still using Debian 6. I installed python 2.7.8 but I am having
problems to compile the seL4.

arduino at squeeze64:~/ARM/src/seL4$ TOOLPREFIX=arm-none-eabi- ARCH=arm
PLAT=am335x ARMV=armv7-a CPU=cortex-a8 make
Traceback (most recent call last):
  File "./tools/", line 18, in <module>
    import tempita
ImportError: No module named tempita
make: *** [arch/api/invocation.h] Error 1

What is this module "tempita"? What package is that?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list