diff -r 48780e181b38 -r 578be2adaf3e Symbian3/PDK/Source/GUID-DC8D3736-EDCF-54CB-A614-2AAC4664F1CA.dita --- a/Symbian3/PDK/Source/GUID-DC8D3736-EDCF-54CB-A614-2AAC4664F1CA.dita Tue Jul 20 12:00:49 2010 +0100 +++ b/Symbian3/PDK/Source/GUID-DC8D3736-EDCF-54CB-A614-2AAC4664F1CA.dita Fri Aug 13 16:47:46 2010 +0100 @@ -1,27 +1,27 @@ - - - - - -Kernel-Side ServicesThis section describes how device drivers can use the services -that the Kernel provides. -

The section begins with a discussion of the APIs for fundamental types -such as buffers and arrays. Kernel side programs cannot use all of the same -APIs as user-side programs, so you need to be aware of these restrictions, -and the alternative APIs provided by the Kernel.

-

The guide then discusses a number of idioms for communicating between different -threads and processes, including Publish and Subscribe, Kernel-side messages, -shared chunks, and environment slots.

-

Some more advanced programming issues are then discussed, including how -to design a device driver to behave correctly in a demand paged OS environment, -in which client programs may not be continuously in memory, and how to integrate -a device driver with system wide power resource management.

-

The section ends with a discussion of how Kernel APIs encourage safe programming -with the use of precondition checks.

+ + + + + +Kernel-Side ServicesThis section describes how device drivers can use the services +that the Kernel provides. +

The section begins with a discussion of the APIs for fundamental types +such as buffers and arrays. Kernel side programs cannot use all of the same +APIs as user-side programs, so you need to be aware of these restrictions, +and the alternative APIs provided by the Kernel.

+

The guide then discusses a number of idioms for communicating between different +threads and processes, including Publish and Subscribe, Kernel-side messages, +shared chunks, and environment slots.

+

Some more advanced programming issues are then discussed, including how +to design a device driver to behave correctly in a demand paged OS environment, +in which client programs may not be continuously in memory, and how to integrate +a device driver with system wide power resource management.

+

The section ends with a discussion of how Kernel APIs encourage safe programming +with the use of precondition checks.

\ No newline at end of file