Commit Graph

31 Commits

Author SHA1 Message Date
Ian A Mason
e65f41c4e7
Update README.md 2018-05-23 15:23:24 -07:00
Ian A Mason
27e7b5c32c
Merge pull request #21 from SRI-CSL/linux-kernel-bootable
Linux kernel bootable
2018-05-23 15:09:05 -07:00
Ian A. Mason
902330e14d Add the apache and libraries example. 2018-05-23 14:31:37 -07:00
paul-naert
8b97bdc043
No kernel boot 2018-05-22 17:55:28 -07:00
paul-naert
8597b8247a
No support for kernel booting 2018-05-22 17:53:14 -07:00
paul-naert
095b950cfd
Corrected wrong folder name 2018-05-22 17:20:00 -07:00
paul-naert
83648fcbba
Updated README
Deleted an unnecessary sentence
2018-05-22 17:18:37 -07:00
paul-naert
9a9d32a620
Added install-kernel script 2018-05-22 17:16:53 -07:00
paul-naert
991edff16f
corrected the name of build_linux_gllvm_tarball
corrected the name of build_linux_gllvm_tarball to avoid confusion
2018-05-22 17:15:53 -07:00
paul-naert
95e123dc93
Updated Readme to include the bitcode build 2018-05-22 17:07:41 -07:00
paul-naert
d2c65b6564
Build a bootable vmlinux from llvm bitcode 2018-05-22 16:43:53 -07:00
Ian A. Mason
da2306f5bc Added the compile and link flag '-fsanitize=' to solve issue #19 2018-05-13 07:42:20 -07:00
Ian A. Mason
3664f27aff 16.04 ubuntu apache turorial gets cleaned up. 2018-05-08 15:43:34 -07:00
Ian A Mason
1b14783351
Update tutorial-ubuntu-16.04.md 2018-05-08 15:29:19 -07:00
Ian A Mason
6e88f5375a
Update tutorial-ubuntu-16.04.md 2018-05-08 15:25:37 -07:00
Ian A. Mason
49578305ef Fixed some wierdness uncovered by llvm-3.4 bad behavior. Plus puffed out the apache 14.0 tutorial a bit. 2018-05-08 15:11:42 -07:00
Ian A Mason
a2fff80cfe
Update tutorial.md 2018-05-08 10:57:37 -07:00
Ian A. Mason
a850288f64 Comparison... 2018-05-07 11:34:36 -07:00
Ian A Mason
591da78e20
Update README.md 2018-05-07 09:58:38 -07:00
Ian A. Mason
9648083167 README.md tweaks. 2018-05-07 09:56:48 -07:00
Ian A. Mason
6ace083d21 Beter build from tarballs. 2018-05-07 09:41:38 -07:00
Ian A. Mason
1184fe0a56 Building from tarballs seems more reliable and easier. 2018-05-07 09:29:31 -07:00
Ian A. Mason
03c826cd15 linux kernel recipe. still has problems on the first attempt. 2018-05-03 15:37:35 -07:00
Ian A Mason
49e9bb1489
Update README.md 2018-05-02 13:07:16 -07:00
paul-naert
ea7f12b4bb
Update README.md 2018-04-30 16:44:58 -07:00
Ian A Mason
888bb5031d
Update README.md 2018-04-30 16:43:08 -07:00
Ian A Mason
e9ec812391
Update README.md 2018-04-30 13:47:38 -07:00
Ian A. Mason
e965ed916c A start, to be filled out, in the next day or so. 2018-04-30 13:31:21 -07:00
Ian A Mason
367a02143e
Update README.md 2018-04-30 10:42:25 -07:00
Ian A Mason
e7180a76b5
Update README.md 2018-04-30 10:39:02 -07:00
Ian A. Mason
591b65316f Birthing some examples. Starting with a biggie. 2018-04-30 09:58:19 -07:00