Typo error

[hugusmaximus]

I think there's a typo error on the "IA32 Example" where it says:

../init-build.sh -DPLATFORM=ia32 -DRELEASE=TRUE -DSIMULATION=TRUE

should say:

../../init-build.sh -DPLATFORM=ia32 -DRELEASE=TRUE -DSIMULATION=TRUE

It's not a problem at all, but if you are copy-pasting commands it breaks a bit the "magic" of the "user experience" :-) The more things we can try of seL4, the smoother things work, the more addictive it becomes.