Kernel 7.10 Project
From DDCIDeos
Jump to navigationJump to search
Verification project for the 7.10.x kernel.
Description
It will include the 7.6.x feature set plus (at least) the following new features:
- PowerPC P465 Core Support, including 36-bit support
- Sybil PCR:4112
The 7.10.x kernel is hosted in the Elbert distribution.
Useful Links
- Query of all outstanding PCRs
- Query of open Rqts/Code PCRs (PCRs with requirements/code work assigned).
- Query of open test PCRs (PCRs with test work assigned).
- mainline review status
- Query of open Regchk requirements
- Regression results/structural coverage 05-16-2013 for fit-pc2, apm86290, ep8280, ep8343m, ep440c
- Regression results/structural coverage 06-03-2013 for fit-pc2, apm86290, ep8280, hosmer, ep440c
Task list
| Task | Assignee | Status | Remarks |
|---|---|---|---|
| Finish Reviews and verification work | GK, KH, AR | Done | |
| Merge to cache partitioning branch | RR | Done | |
| Take a look at longest criticals. | RR | Done | |
| AMCC 86190 Rev E errata analysis | Pending | Ole says we have the doc, but I don't know where it is. | |
| MPC8349E (Hosmer) errata analysis | RR | Done | Document rev 19 provided by Tran Lin 6/17/2013. |
Status
We're taking mainline, commenting out WAT requirements and deleting the code, and verifying the rest.
Issues/Concerns
The kernel does not have WAT support:
- Requires IT 2.7 or later (current)
- Requires Denali BSPs (no WAT API calls)
- Won't support 653 libraries.
- Requires BSPs to support kernel fatal function.
- The kernel will ignore WAT entries in the registry
- If left in will require some notes in PIG or regchk.
This means post WAT BSPs will only run on fourpeaks.
Should we take out Sybil support?
- Y: Sybil is not finished.
- N: Integ tool 2.7 supports Sybil, not sure what to do with dangling registry entries.
- If left in will require some notes in PIG or regchk.
- Y: No other tooling currently supports Sybil.
- Y: All BSPs need to be updated to "name" FTP and status monitor
- This can be accomplished by upgrading to inetd 6.6 (or later) and having all BSPs delete their cloned inetd.config files.
Test global issues
Test Environment
- For the test environment, install deos-maintainer-tools and the BSPs from the EXP Cygwin Elbert distribution.
- If the tests fail to build, meaning the latest kernel source is not "unreleased", you will need to build the kernel and install it in your desk. Don't forget to "makelib -all -continue" after the install in case there are new APIs in the kernel.
LwIP problems that interfere with tests:
- If your test main thread uses slack and initially loops consuming all slack for many periods (underfined), and you can ping the target but cannot FTP or get results off, load the RELEASE version of LwIP. The file that specifies which version to load is here: tests/common/test-utils/etc/regression-[ppc|x86].cfg
Kernel Cert Work
| Initialize Status Files | Done | |
| Requirements review | Done | |
| Code review | Done | |
| Test Case Development | Done | |
| Test Procedure Development | Done | |
| Test Reviews | Done | |
| Software life cycle audits | Done (2012-144.pdf,2012-149.pdf,2012-151.pdf, 2012-152.pdf, 2013-163.pdf, 2013-170.pdf) | |
| ABC SCAT Qual | KH | Done |
| Portal Analysis | KH | Done |
| V-Table Analysis | GK | 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) | GK | Done version 7.10.6 unreleased |
| Before the following can be done the Formal build needs to be completed | ||
| Executable Object Code Analysis (task list needs to be checked against kernel howto) | ||
| - linker invariants Analysis | AR | Done |
| - ppc stwcx. instruction Analysis | AR | Done |
| - BIT RAM tests Analysis | AR | Done |
| - BIT RAM decode tests Analysis | AR | Done |
| - Kernel Fatal Analysis | AR | Done |
| B-Tree analysis | AR | Done |
| Review of the above. | Team | Done |
| Requirements Coverage Analysis | KH | Done |
| Before the following can be completed all of the above analysis need to be completed | ||
| Run For Score | Done Boards: fit-pc2, hosmer (mpc8349), apm86290, ep8280, ep440c. | |
| - Test Results Review | Done | |
| Before the following can be done the Run For Score needs to be completed | ||
| Structural coverage analysis | AR | 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 | KH | Done |
| Stack analysis review | GK | Done |
| Before the following can be completed all of the above tasks need to be completed | ||
| Back end Docs | ||
| - SLCECI | GK | Done |
| - SLCECI review | KH | Done |
| - SCI | GK | Done |
| - SCI review | KH | Done |
| - Open Problem Reports List | GK | Done |
| - SAS | GK | Done |
| Populate the cert archive | KH | Done |
| Software conformity audit | KL | Done |
