Kernel 762 cert Project
From DDCIDeos
Jump to navigationJump to search
2120-320-602; "K" Tasks
Our first verified commercial Kernel baseline.
Description
This is for tracking progress on the Deos kernel 7.6.2 verification activities.
Problems with the dry run of the kernel tests
- ccpdf platform will not build, as a download registry build is missing the deos-kernel.fp.xml file (Kernel maintainers have fixed this test problem on mainline. For this RFS, revert back to 1.0.0 of the ccpdf components -- the same versions used in the 7.6.1 verification)
- etxexpress-cd platform does not generate coverage report. Trying to issue the reportCoverage command manually with the collected hitmaps yields the following problems:
- if the first parameter (hitmapsLocation) points to a folder containing .txt and .log files, reportCoverage attempts to use those files a hitmap files. This might be a user error -- im not sure. We manually deleted these files, which got us to a 2nd problem:
- Unexpeced line (asm file rawhndlr.s_, line 179). Might be related to [this change]
- Solution: Revert rawhndlr.S back to 7.6.1 version (PCR:6992)
- 20110526: The results of the test run was:
- lutefisk-aid: ok
- etxecpress-cd: ok
- ccpdf: test hangs on/after tpk307
- hotdish-aid: not all test ran.. more data soon
Useful Links
7.6.2 kernel Cert Work
| ABC SCAT Qual | Karen | Done |
| Traceaid qualification | Karen | Done |
| Portal Analysis | Karen | Done |
| V-Table Analysis | Karen | Done |
| Before the following can be done the Requirements Coverage analysis' traceability needs to be confirmed and SCAT Qual need to be completed | ||
|---|---|---|
| Formal build (including Conformity inspection) | Karen | Done |
| Before the following can be done the Formal build needs to be completed | ||
| Executable Object Code Analysis | ||
| - linker invariants Analysis | Karen | Done |
| - ppc stwcx. instruction Analysis | Karen | Done |
| - BIT RAM tests Analysis | Karen | Done |
| - BIT RAM decode tests Analysis | Karen | Done |
| - Required Pad Pool Analysis | Karen | Done |
| - Startup CRC Analysis | Karen | Done |
| Review of executable object code analysis | Gary | Done |
| B-Tree analysis | Karen | Done |
| Review of above. | Gary | Done |
| Requirements Coverage Analysis | Karen | Done |
| Before the following can be completed all of the above analysis need to be completed | ||
| Run For Score | Karen | Done |
| - Test Results Review | Karen | Done |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | Ryan & Aaron | Done |
| Before the following can be done the B-Tree analysis and Run For Score needs to be completed | ||
| Stack analysis | Gary | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Back end Docs | ||
| - SLCECI | Karen | Done |
| - Review of above | Gary | Done |
| - SCI | Karen | Done |
| - Review of above | Gary | Done |
| - Open Problem Reports List | Karen | Done |
| - SAS | Karen | Done |
| SAS requires a note about non-support of non-CLFLUSH processors | ||
| Populate the cert archive | Karen | Done |
