Configurable Kernel

Objective

For embedded real time system, there is a need for a "small footprint" kernel. The idea is to allow one to build a kernel that suits his/her needs, and to configure out all the unnecessary features. The objective of this project is to reduce the size of the kernel below 1MB (code + data) on Intel 486 and Intel 860 platforms. The technique that is used is to define, build and validate a "minimal" MK `C'-based kernel, and then to develop configurability options for layered, O-O MK++ kernel.

Results

Results are available for the two following platforms:

[ Open Group | Open Group RI | Grenoble Home Page ]


Last modified : 22 Jan 1998

  1. pintarbersamamedan.org
  2. https://pintarbersamamanado.org
  3. https://pintarbersamasorong.org/dana
  4. https://www.sanpedrotrainer.com/
  5. https://www.150yearsofobamacare.com/
  6. https://www.silicomp.com/
  7. https://www.christchurchnj.org/
  8. https://www.concours-en-gares.com/
  9. https://www.nautiinn.com/
  10. https://www.gefassembly.org/
  11. https://www.mobileasiaexpo.com/
  12. https://katiewheelerart.com/
  13. https://www.usrussia.org/
  14. https://reinventlawnyc.com/
  15. https://www.global-commission.org/
  16. https://www.boquim.com/
  17. https://www.marcodezzibardeschi.com/
  18. https://www.talktous.org/
  19. https://ahchala.com/
  20. https://ei-lab.org/
  21. https://sterlingwitt.com/
  22. TOGEL
  23. https://elk-mountain.com/
  24. SLOT QRIS
  25. TOGEL HARI INI
  26. TOGEL
  27. DATA HK
  28. DATA SGP
  29. TOGEL HONGKONG
  30. HK LOTTO
  31. DATA HK
  32. DATA HK
  33. DATA HK
  34. PENGELUARAN SGP
  1. HOME