tree 5673ff1f4641063c2e4adf3349fb767a8949d693
parent 54c0a4b46150db1571d955d598cd342c9f1d9657
author Jesper Nilsson <jespern@axis.com> 1390918475 +0100
committer Jesper Nilsson <jespern@axis.com> 1390918475 +0100

CRISv10: Readd missing header

The svinto architecture header was mistakenly removed,
leading to a compile error.

Signed-off-by: Jesper Nilsson <jesper.nilsson@axis.com>