Document how to build the system

Change-Id: If3116beb31430d8d88ab5241fd6bfaa251e89b3c