About Publications Downloads Related Projects Team L4hq.org  
 
Projects
Pistachio
Kickstart
Download
Virtualization
Pre-virtualization
Device Drivers
Multiprocessor
Marzipan
BurnNT
Download
IDL4
Release Notes
Documentation
Download
Persistence
Hazelnut
Download
Getting started
 
Miscellaneous
Mailing lists
Tools
VMwareGateway
Workshops
Google L4Ka.org:
 
 

User Manual

The IDL4 user manual explains how to use the compiler to generate stub code, and how to use this code in your application. It also contains a chapter on interface definitions, which describes how to specify interfaces in IDL and lists the available data types.

The manual is included in the source code package, but is also available separately in PS or PDF format.

Documents

IDL4 User Manual
Andreas Haeberlen
System Architecture Group, University of Karlsruhe, April, 2003
  [pdf] [ps]
   
 
 
 
  Mail to webmaster   © 2000-2010 University of Karlsruhe