Disable supervisor write access to read-only pages.
Use i686-pc-tacos as the target, and add a hosted C library.