Rename default options path from "build_options/default" to "default_options",
-rw-r--r-- 45964 Doxyfile
-rw-r--r-- 1504 LICENSE
-rw-r--r-- 3695 README
-rw-r--r-- 1063 RELEASE_NOTES
-rw-r--r-- 12243 SConscript
drwxr-xr-x - arch
drwxr-xr-x - base
drwxr-xr-x - build
drwxr-xr-x - configs
drwxr-xr-x - cpu
drwxr-xr-x - dev
drwxr-xr-x - docs
drwxr-xr-x - encumbered
drwxr-xr-x - kern
drwxr-xr-x - python
drwxr-xr-x - sim
drwxr-xr-x - test
drwxr-xr-x - util