1. Progress Report – Microkernel 2013/03/21

2. Benchmark Survey JemBench ◦ Sequential  Micro Benchmarks, Kernel Benchmarks, Application Benchmarks ◦ Multithreaded  –Parallel Benchmarks, Streaming Benchmarks AnTuTu SmartBench 2012 GeekBench

3. AnTuTu AnTuTu Test Suite ◦ 2013/01 ◦ Charge AnTuTu Benchmark ◦ Free on Google Play http://cn.antutu.com/index.shtml

4. SmartBench 2012 A multi-core friendly benchmark application that measures the overall performance of a smartphone. Reports both Productivity and Gaming Index. Last updated: 2012/01/28

5. Geekbench Provides a comprehensive set of benchmarks engineered to quickly and accurately measure processor and memory performance. Available for a variety of platforms: ◦ Windows, Mac, Linux, Android, BlackBerry, and iPhone. ◦ NT. 30 on Google Play. ◦ Source code available for Linux version. http://www.primatelabs.com/geekbench/

6. Geekbench(Cont.) Measures the following performance: ◦ Integer Performance  encrypts and decrypts values in memory; compress and decompress text file and image in memory; find prime numbers below 200,000. ◦ Floating Point Performance ◦ Memory Performance  Load and store values between memory and registers; allocates and deallocates blocks of memory;… ◦ Stream Performance

7. Something Else Fiasco and L 4 Linux on pandaboard

8. Next Multi VM instances on pandaboard L4RE Documentation study ◦ RE: Runtime Environment ◦ MOE and Sigma0