The first revision of a modularized Adeos nanokernel (x86) is available in the CVS as a candidate patch (r6c1) against 2.4.19. Starting from this version, the interrupt pipelining can be enabled/disabled dynamically upon (internal) request.
A minimalistic Adeos core component remains statically bound to the Linux kernel to provide the necessary hooks, while most of the pipelining logic is now in a driver (see linux/drivers/adeos). As previously indicated, fully static (in-kernel) inclusion remains available using the proper kernel configuration option. Just "insmod/rmmod adeos" to load/unload the nanokernel from a patched Linux kernel which has been configured with a modular Adeos support. Regards, Philippe.
