directory / @ 410:6aa9743ed362 tip

name size permissions
[up] drwxr-xr-x
dir. cos/ drwxr-xr-x
dir. doc/ drwxr-xr-x
dir. examples/ drwxr-xr-x
dir. experiments/ qemu_vexpress_a9 drwxr-xr-x
dir. kernel/ drwxr-xr-x
dir. python/ drwxr-xr-x
dir. test/ drwxr-xr-x
dir. user/ drwxr-xr-x
dir. util/ drwxr-xr-x
file .hgignore 109 -rw-r--r--
file .hgtags 236 -rw-r--r--
file LICENSE 1518 -rw-r--r--
file build.xml 266 -rw-r--r--
file customtasks.py 851 -rw-r--r--
file make.sh 111 -rwxr-xr-x
file readme.rst 1161 -rw-r--r--
file run.sh 133 -rwxr-xr-x