diff options
| -rw-r--r-- | www/GetStarted.html | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/www/GetStarted.html b/www/GetStarted.html index 9e03e1df..20086600 100644 --- a/www/GetStarted.html +++ b/www/GetStarted.html @@ -105,9 +105,15 @@ library.</p> <li>Download KLEE's uClibc: <ul> <li> - KLEE uses a version of <a href="http://uclibc.org">uClibc</a> which has - been modified slightly for use with KLEE. It is available for download - here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a>. + KLEE uses a version of <a href="http://uclibc.org">uClibc</a> + which has been modified slightly for use with KLEE. + <ul> + <li>A version that works on 32-bit Linux can be found + here: <a href="http://t1.minormatter.com/~ddunbar/klee-uclibc-0.01.tgz">klee-uclibc-0.01.tgz</a></li> + <li>A version that works on 64-bit Linux can be found + here: <a href="http://www.doc.ic.ac.uk/~cristic/klee-uclibc-0.01-x64.tgz">klee-uclibc-0.01-x64.tgz</a> + </li> + </ul> </li> </ul> </li> |