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. 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