Results on Intel 860

Configurations:

Measurements are for an Intel 860 PARAGON with 16MB of used memory per node.

Configuration Kernel size (KB) Total memory usage (KB)
initial 955 3022
minimal 536 1056

Results for the initial kernel configuration already benefit from dead code detection and clean-up resulting from the configurable kernel.

Configurable Kernel Project, Results on Intel x86

  1. https://www.sanpedrotrainer.com/
  2. https://www.150yearsofobamacare.com/
  3. https://www.silicomp.com/
  4. https://www.christchurchnj.org/
  5. https://www.concours-en-gares.com/
  6. https://www.nautiinn.com/
  7. https://www.gefassembly.org/
  8. https://www.mobileasiaexpo.com/
  9. https://katiewheelerart.com/
  10. https://www.usrussia.org/
  11. https://reinventlawnyc.com/
  12. https://www.global-commission.org/
  13. https://www.boquim.com/
  14. https://www.marcodezzibardeschi.com/
  15. https://www.talktous.org/
  16. https://ahchala.com/
  17. https://ei-lab.org/
  18. https://sterlingwitt.com/
  1. HOME