add pintos doc and spec