1 <?xml version="1.0" encoding="utf-8"?>

     2 <!-- Copyright (c) 2007-2010 Nokia Corporation and/or its subsidiary(-ies) All rights reserved. -->

     3 <!-- This component and the accompanying materials are made available under the terms of the License 

     4 "Eclipse Public License v1.0" which accompanies this distribution, 

     5 and is available at the URL "http://www.eclipse.org/legal/epl-v10.html". -->

     6 <!-- Initial Contributors:

     7     Nokia Corporation - initial contribution.

     8 Contributors: 

     9 -->

    10 <!DOCTYPE concept

    11   PUBLIC "-//OASIS//DTD DITA Concept//EN" "concept.dtd">

    12 <concept id="GUID-DC8D3736-EDCF-54CB-A614-2AAC4664F1CA" xml:lang="en"><title>Kernel-Side Services</title><shortdesc>This section describes how device drivers can use the services

    13 that the Kernel provides. </shortdesc><prolog><metadata><keywords/></metadata></prolog><conbody>

    14 <p>The section begins with a discussion of the APIs for fundamental types

    15 such as buffers and arrays. Kernel side programs cannot use all of the same

    16 APIs as user-side programs, so you need to be aware of these restrictions,

    17 and the alternative APIs provided by the Kernel. </p>

    18 <p>The guide then discusses a number of idioms for communicating between different

    19 threads and processes, including Publish and Subscribe, Kernel-side messages,

    20 shared chunks, and environment slots. </p>

    21 <p>Some more advanced programming issues are then discussed, including how

    22 to design a device driver to behave correctly in a demand paged OS environment,

    23 in which client programs may not be continuously in memory, and how to integrate

    24 a device driver with system wide power resource management. </p>

    25 <p>The section ends with a discussion of how Kernel APIs encourage safe programming

    26 with the use of precondition checks. </p>

    27 </conbody></concept>