[okl4-developer] Fast and Optimized System StartUp / OKL4 in an automotive environment

[Josh Matthews]

Hi Oliver,

On Fri, May 23, 2008 at 6:41 PM, Oliver Mayer-Buschmann <omb at opensynergy.com>
wrote:

> I'm interested in any available information about the dynamic and modular
> reload from flash.What kind of concepts are already implemented?
>

Demand loading of servers from a device is not functionality that is
supported out of the box in the current release of OKL4, though the
framework is there upon which such functionality could be constructed
(specifically, the recursive construction of address spaces and page
handlers is the primary enabling functionality). A general approach would be
as follows:

1) Leverage the OKL4 driver framework to construct the underlying driver for
your device. Extensive documentation is available on
wiki.ok-labs.com/DriverFramework which will walk you through this.

2) Develop a loader/componentization server which will act as the pager for
your demand-loaded servers. The server interface would take the name of the
server/component required to start, start up a new server with itself as the
pager and load the first code page, and, as the new server faults, service
the fault by demand-loading the required pages from the device.

So essentially it's the development of a device and a server - let me know
if you have any queries on how to go about that, or on the underlying
recursive construction of address spaces / pagers in OKL4 which enables the
functionality you require.

Best regards,
Josh Matthews
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080526/483f68bb/attachment.htm