hal/hal/doc/spec
