Dear all, you might find this of relevance, soon we will be able to connnect the semantic information of the MiG interfaces to the information extracted from the gcc.
mike --- James Michael DuPont <[EMAIL PROTECTED]> wrote: > From James Michael DuPont Thu Oct 16 01:28:05 2003 > From: James Michael DuPont <[EMAIL PROTECTED]> > To: introspectors <[EMAIL PROTECTED]> > Subject: [Introspector-developers] status report > Date: Thu, 16 Oct 2003 01:28:05 -0700 (PDT) > > Hi all, long time no see. > > Well, I have been working on Hurd, porting the hurd subsystem to the > gcc under linux so that you can compile it. That will allow us to use > the introspector on it. > > After thinking about this for a long time, I realised that the > introspector is good for operating systems, I wanted to use it on > linux, but I think the internals of linux are not that interesting. > > Mach has a very interesting and clean api, but hurd is difficult to > compile. > > So I have started to port it to compile (not run) under linux. > You can find my tarballs with the stuff inside here : > > Mach headers (morphed for linux) > http://introspector.sourceforge.net/2003/10/mach_linux.tgz > > Hurd headers (morphed for linux) > http://introspector.sourceforge.net/2003/10/hurd.tgz > > Here are three modules from hurd ported . > http://introspector.sourceforge.net/2003/10/libthreads.tgz > http://introspector.sourceforge.net/2003/10/libstore.tgz > http://introspector.sourceforge.net/2003/10/libshouldbeinlibc.tgz > > Anyway, the MiG the Mach interface generator now emits n3 : > http://introspector.sourceforge.net/2003/10/mig-introspector.tgz > > and you can find some example output here : > http://introspector.sourceforge.net/2003/10/MiG-Introspector-Cooked.n3 > > I have been also looking into some Matrix libraries for the > introspector data cubes, looking in GSL (GNU scientific lib) and > BLAS, > but need some more time for that. > > Later, ceforge.net > https://lists.sourceforge.net/lists/listinfo/introspector-developers ===== James Michael DuPont http://introspector.sourceforge.net/ __________________________________ Do you Yahoo!? The New Yahoo! Shopping - with improved product search http://shopping.yahoo.com _______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
