Announcing Magpie, an L4 interface generator
nfd at cse.unsw.edu.au
Sun Jun 19 15:51:03 CEST 2005
I'm pleased to announce the first public release of the Magpie interface
Magpie was written at the University of NSW over the course of the last
six months to support several operating system projects. It was inspired
by, and owes a large debt to, the de facto interface generator for L4,
IDL4. Magpie's advantages over IDL4, are in its use of templates for
output, allowing rapid changes to output modes and easy sharing of
output code, and its support for the ARM architecture. On the flip side,
Magpie does not currently support DCE IDL, long IPC, or optimised stub
support for the ia32 architecture.
New output modes, such as component orientation and C++ support, are in
development and planned for a future release.
Magpie is currently experimental software, under active development. If
you use it, I would be very interested to hear any reports, both
positive and negative. Bug reports are, of course, particularly appreciated.
Magpie can be downloaded from here:
DiSy group, UNSW
More information about the l4-hackers