Merge pull request #443 from tfarina/disk-interface-alloc
-rw-r--r-- 242 .gitignore
-rw-r--r-- 11358 COPYING
-rw-r--r-- 5838 HACKING.md
-rw-r--r-- 628 README
-rwxr-xr-x 4209 bootstrap.py
-rwxr-xr-x 15074 configure.py
drwxr-xr-x - doc
drwxr-xr-x - misc
drwxr-xr-x - src