Kernel Fourpeaks Project
From DDCIDeos
Jump to navigationJump to search
Development and Verification for the Fourpeaks kernel. The version has not yet been determined at this time.
Description
It will include the 7.10.x feature set plus (at least) the following new features:
- Memory Pools
- Deos_Cache_Partitioning.
- POSIX_Access_Controls
- The remaining part of Sybil not done in 7.10.x
- ARINC 653
- Deos_MIPS_Port
Charge Codes:
- 2120-204-653 - Deos 653 and MIPS
- Add on contracts:
- Increase the number of files possible in the kernel file system (charge code 2120-204-655 - Deos 653 kfs enhancement).
- MIPS fast packet (charge code 2120-204-656 - Deos 653 MIPS fast packet).
Useful Links
- mainline review status
- PCRs targeted for this release:
Regression results
- 02-28-2015 for kalbi p1010rdb p2041rdb xcalibur1002 (svn kernel 45849, abc 5.5.5)
Upcoming Milestones
| Program | Milestones | Type | Stable Date | Ship Date | Cur. Date | Status
|
|---|
Task List Development
In addition to the following, there are also hypstart and integ tool changes required for the new features.
| Task | Assignee | Status | Estimate (days) |
Remarks |
|---|---|---|---|---|
| MIPS Errata analysis | RLR | Done | See PMC_RM79xx_Errata_Issue_5 Chino_Program processor is rev 1.2. | |
| IBM750 Errata analysis | RLR | Done | See 750GL errata DD1.x Chino_Program processor is rev 1.2. | |
| 2nd generation I7 Compatibility analysis (Kalbi_Program) | RLR | Done | ||
| I7 Errata analysis (Kalbi_Program) | RLR | Done | ||
| white paper describing how to use pools for cache partitioning | GG | Pending | See Deos_Cache_Partitioning, BIT, boot RAM/ROM, test resouce, platform resources, etc. |
Test Environment
Must Have Platforms
Prior to setting a test as 'Ready for Review' in TestStatus.txt, verify the 4 variants of the kernel on the following must have platforms :
- monfcm; X9 Target Name: DeosChino
- xcalibur1002; X9 Target Name: DeosPPC750-1
- kalbi; X9 Target Name: DeosKalbi
- p1010rdb; X9 Target Name: DeosP1010RDB
- p2041rbd; X9 Target Name: DeosP2041RDB-2-1-2
Nice to Have Platforms
WARNING: do not work failures on nice to have platforms if the failure does not occur on the must have platforms (i.e., get the must haves working first).
Keeping in mind the above warning, In addition to the Must Haves (see above), the following platform BSPs can be used for test development.
- qemu-ppc, qemu-mips, qemu-x86: should not be used for real-time tests
- fit-pc2, ep8343m, maple (ppc8343), ep440c
Test Environment Setup
- Install the fourpeaks cygwin environment
- Use the EXP versions of packages
- from Deos-Bundles : deos-maintainer-tools
- from Deos-BSP : the BSPs mentioned above
- Install the cert candidate build of the kernel
- Get ftp://redhat5.ddci.com/deos-products/kernel/kernel/8.3.1/kernel-8.3.1-maintainer.tar.bz2, and place the resulting file in /scm/.../kernel/branches/mainline. Do not have a local build of the kernel present.
- $ cd /scm/.../kernel/branches/mainline
- $ tar -xjf kernel-8.3.1-maintainer.tar.bz2
Test global issues
Many of the tests fail or fail to build. The reasons are described in problems.mk (https://deos.ddci.com/scm/Deos/products/kernel/kernel/branches/mainline/tests/problems.mk)
When porting all tests to MIPS.
- All architecture specific #ifdefs should have else error clause.
- Need a "gold standard" example test.
- Someone triage, then telecon discuss.
Substantively modified test cases should:
- Get a test matrix.
- Consolodate cases where the same requirement is tested in multiple test cases.
- Remove makefile injected registry content in the test procedure, i.e., use libplatformSpecVals.so
Kernel Cert Work
| Assess effects of changes to standards since last verf | JK | Done |
| Initialize Status Files | Done | |
| Requirements review | Done | |
| Code review | Done | |
| Test Case Development | Avionyx | Done |
| Test Procedure Development | Avionyx | Done |
| Test Reviews | Done | |
| Software life cycle audits | KL | Done |
| Jump Table Strategy (1) - Update build-util makefiles to avoid jump table creation on instrumented, ABC compliant builds, (i.e. -fno-jump-tables). (done) (2) - Update Compiler Assessment script to verify (1) PCR 9820 (done). |
MD | Done |
| Compiler Assessment - arm (done) - arm-thrd_con_arch (done) -ppc (done) -mips (done) -x86 (done) |
MD | Done |
| Resolve TBDs in analysis howto | RLR | Done |
| ABC Qual | GK | Done |
| Portal Analysis | RLR | Done |
| Portal Analysis Review | BC | Done |
| V-Table Analysis | RLR | Done |
| Before the following can be done the Requirements Coverage analysis' traceability needs to be confirmed and ABC Qual need to be completed | ||
|---|---|---|
| Release CCB | BC/MD | Done |
| Formal build (including Conformity inspection) | GK KL | Done |
| Before the following can be done the Formal build needs to be completed | ||
| Executable Object Code Analysis | ||
| - verify following task list matches kernel howto | MD | Done |
| - linker invariants Analysis | MD | Done |
| - ppc stwcx. instruction Analysis | JK | Done |
| - BIT RAM tests Analysis | RLR | Done |
| - BIT RAM decode tests Analysis | RLR | Done |
| - Kernel Fatal Analysis | RLR | Done |
| - MIPS Signed Instruction Analysis | JK | Done |
| Executable Object Code Analysis review | BC | Done |
| B-Tree analysis | RLR | Done |
| B-Tree analysis review | MD | Done |
| Requirements Coverage Analysis Completion Precondition: Executable Object Code, Portal, and Btree analysis review packets must be in certification archive. |
MD | Done |
| Before the following can be completed all of the above analysis need to be completed | ||
| Run For Score | GK KL | Done |
| - Test Results Review | BC | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | MD | Done |
| Verification audit | KL | Done |
| Before the following can be done the B-Tree analysis and Run For Score needs to be completed | ||
| Stack analysis | AR | Done |
| Stack analysis review | BC | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Back end Docs | ||
| - SLCECI ready for review | MD | Done |
| - SLCECI review | JK | Done |
| - SCI ready for review | MD | Done |
| - SCI review | BC | Done |
| - Open Problem Reports List | MD | Done |
| - SAS - Ready for review. | MD | Done |
| - SAS review | BC | Done |
| Populate the cert archive | MD | Done |
| Software conformity audit | KL | Done |
