Kernel Greys Project

From DDCIDeos
Jump to navigationJump to search

Development and Verification for the Greys kernel. The version has not yet been determined at this time.

Description

It will include the Greys feature set plus (at least) the following new features:

TBD


Charge Codes:

  • Deos Louie, 2120-490-601, 7.k.verf


Regression results

  • louie 2016-11-22
    • Note that the above was run on kernel 8.4.0. The latest is 8.4.1
  • louie 2016-12-06: All tests pass with expected results. One random target reset required to revive the network during the release variant on tpk112. Could not repeat the network fail. Recover was a power cycle, not a reflash.
  • mpc5675k, all variants 2016-12-08
    • Ran with ./common/test-utils/regress kernel so mpc5675k build local run release instrumented_optimized instrumented. The instrumented variant hung the target on tpk455. A power cycle and resumption at tpk455 ran to completion.

Upcoming Milestones

Deos 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
e200z7 Errata analysis RLR Done

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 :

Must Have Platforms
BSP Name X9 Target Name(s) Variant(s) Comments
Louie DeosLouie-1 or DeosLouie-2 Release & Debug
mpc5675k DeosCMM5675-1, DeosCMM5675-2 or DeosCMM5675-3 Instrumented-optimized and Instrumented-abc

The following will be addressed:

  1. Timing problems to be fixed
  2. Kernel tab values to be confirmed on Louie and mpc5675k BSPs
  3. A day to be spent on illegal op code tests
  4. mpc5675k BSP updated to identity map test ram
p1010rdb DeosP1010RDB All
p2041rdb DeosP2041RDB All Intention is to get 64-bit coverage. Was T1042, but e5500 core not formally supported by the kernel. p2041 has an e500mc core.

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.

  • ep8343m: This platform works and provides additional structural coverage data in HAL/exception area for 'classic' core.
  • qemu-ppc, qemu-mips, qemu-x86: should not be used for real-time tests
  • wade-8078: tpk242 will not build on x86, unable to rig problems.mk to not build it.

Test Environment Setup

  • Install the greys cygwin environment
    • Use the CURR versions of packages
    • from Deos-Bundles : deos-maintainer-tools
    • from Deos-BSP : the BSPs mentioned above

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)

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

Task
Assignment
Status
Initialize Requirements and code Status Files RLR Done
Create the cert archive Done
Requirements review Done
Code review Done
Test Case Development GK Done
Test Procedure Development GK Done
Initialize test and analysis Status Files Done
Test Reviews Done
Software life cycle audits: 2017-379.pdf, 2017-382.pdf KL Done
Compiler Assessment GK Done
ABC Qual GK Done
Portal Analysis RLR Done
Portal Analysis Review RLF Done
V-Table Analysis (note: no review needed) RLF Done
Complete 11-14-verf-results/analysis/change-impact/change-impact GK 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 Done
Formal build (Conformity inspection: 2017-383.pdf GK KL 8.4.2 unreleased
Before the following can be done the Formal build needs to be completed
Executable Object Code Analysis
- verify following task list matches kernel howto RLR Done
- MIPS signed instruction Analysis RLR MIPS intentionally excluded
- linker invariants Analysis RLR Done
- ppc stwcx. instruction Analysis RLR Done
- BIT RAM tests Analysis RLR Done
- BIT RAM decode tests Analysis RLR Done
- Kernel Fatal Analysis RLR Done
Executable Object Code Analysis review RLF Done
B-Tree analysis RLF Done
B-Tree analysis review GK Done
Requirements Coverage Analysis
Completion Precondition: Executable Object Code, Portal, and Btree analysis review packets must be in certification archive. 		GK Done
Before the following can be completed all of the above analysis need to be completed
Run For Score 2017-392.pdf GK KL Done
- Test Results Review GK Done
Before the following can be done the Run For Score needs to be completed
Structural coverage analysis Note: When doing this make sure the error documented in PCR:10340 is not propagated. GK Done
Verification audit: 2017-397.pdf KL Done
Before the following can be done the B-Tree analysis and Run For Score needs to be completed
Stack analysis GK Done
Stack analysis review RLR Done
Before the following can be completed all of the above tasks need to be completed
Back end Docs Note: When doing this make sure the error documented in PCR:10096 is not propagated.
- SLCECI ready for review GK Done
- SLCECI review RLR Done
- SCI ready for review GK Done
- SCI review RLR Done
- Open Problem Reports List GK Done
- SAS - Ready for review. GK Done
- SAS review RLR Done
Populate the cert archive GK Done
Software conformity audit: 2017-400.pdf KL Done
Retrieved from "https://ddci.zapto.org/ddciWiki/index.php?title=Kernel_Greys_Project&oldid=25885"