Add manual to support vexpress