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
make[1]: *** [include/sel4/types_gen.h] Error 1
make: *** [libsel4] Error 2

Thank you,

Hector Daniel Romero