Results for Intel x86

Configurations:

Measurements are for a cluster of Intel 386 with 16MB connected by Ethernet.

Configuration Kernel size (KB) Total memory usage (KB)
initial 591 1524
initial with NORMA 879 5988
minimal + network 463 3464
minimal 270 720

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 860

  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