Kernel Project

The non-distribution specific Deos Kernel project.

Description

This is a placeholder for the work performed across multiple kernel experimental and verification baselines. I.e., roadmap sorts of topics.

Distribution   Branch
 Elbert        mainline
 FourPeaks     cachePartitioning 
 multi-core    multi-core

Perhaps this would be better handled as a "product" page like we did on the legacy wiki.

These are the current Kernel projects in work:

• Elbert (AKA 7.10)
  • 36-bit Support (Deos RAM and FLASH still limited to 32-bit).
  • Part of Sybil
  • Thread aware debugging. (needed by torta)
• Fourpeaks-- Unverified Full funcionality release ??/2013
• Fourpeaks release End of Feb 2014
  • 653/WAT (torta)
  • Complete Sybil (desired by malabi)
  • MIPS
  • Deos Cache Partitioning
  • Might need fast packet as well.
• Multicore (on legacy wiki)
  • Multicore reference platform

Roadmap

These are the substantive changes that have been proposed for the kernel that are not yet in a project.

• Are there changes made by Honeywell that need to be brought forward?
• POSIX
• FACE_Project
• Deos_ARM_Port
• Multi-core ARINC 653
• Support for Ada (unsure if there are any kernel changes required).
• More than 32-bit Deos RAM and FLASH
• Make HAL a separately loaded .so (to speed processor porting).
• E500 SPE support (kernel only, not math), (needed by malabi)
• PPC 5200 port (sales prospect).
  • Aaron has local 5200 (very old) BSP files.