I found two repos w.r.t x86_64 for u-boot, which one should I use? I am ATM only looking at USING the qemu-x86 target for now. BTW, I found tools/binman/binman.py only worked with python 2.7, maybe you can change the shebang to python2.7 as my default python is 3.4 Jocke