On Wed, 2017-01-04 at 15:48 -0800, Daniel Romero wrote:

Hi,

I am currently on a BeagleBone running Ubuntu 14.04 using gcc-arm- none-eabi. However I am getting the following error running 'make' after 'make menuconfig'. I am wondering if someone can guide me in the right direction

[libs/libsel4] building...  [GEN] include/sel4/types_gen.h Traceback (most recent call last):   File "/home/ubuntu/seL4test/libs/libsel4/tools/bitfield_gen.py", line 26, in <module>     from six.moves import range ImportError: No module named six.moves

six[1] is a python package that helps with compatibility between Python versions 2 and 3, and that doesn't seem to be available on your build machine. Either install the package using pip or via your distributions package manager. Cheers, ..Partha [1] - https://pypi.python.org/pypi/six

make[1]: *** [include/sel4/types_gen.h] Error 1 make: *** [libsel4] Error 2

Thank you, Hector Daniel Romero hdromero93@gmail.com

_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel -- Partha Susarla Kernel engineer DATA61 | CSIRO E parthasarathi.susarla@nicta.com.au www.data61.csiro.au

CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61