TTY allocation on remote build and homebred linux kernel
Merge branch 'makefiles' of github.com:fakedrake/xilinx-zynq-bootstrap into makefiles
Reorganization first step