12 |
Status |
Status |
13 |
------ |
------ |
14 |
|
|
15 |
* Chapter 1: Basic Kernel Interfaces |
There are a total of 711 individual tests. |
16 |
l4/kip.h: Almost complete. Only testing the memory descriptors is missing. |
|
17 |
Testing the processor descriptors and kernel features must be |
100/100 Chapter 1: Basic Kernel Interfaces |
18 |
improved though to not require the internal interface. |
100/100 l4/kip.h: Complete. |
19 |
l4/message.h: Complete. |
Testing the processor/memory descriptors and kernel features |
20 |
|
must be improved though to not require the internal interface. |
21 |
|
100/100 l4/message.h: Complete. |
22 |
|
|
23 |
All other interfaces are not tested. |
All other interfaces are not tested. |
24 |
|
|