Hi,
I am using RefOS to develop a small applicaiton(interprocess comunicaion).I
need to edit some c files in RefOS/libs/librefos directory,But comments say
that do not edit these files,these files were generated by CIDL.CIDL is a
simple C IDL compiler which is made to save the trouble of manually
implementing RPC interface stubs to marshal C style arguments and return value.
It uses a simple XML-based IDL language. I search on the google??but just got
some introduction. So where can I got some useful infomation about CIDL? Can
you recommend some books or websites?
------------------ Original ------------------
From: "devel-request";<[email protected]>;
Date: Sun, Jun 21, 2015 10:00 AM
To: "devel"<[email protected]>;
Subject: Devel Digest, Vol 13, Issue 11
Send Devel mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
https://sel4.systems/lists/listinfo/devel
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Devel digest..."
Today's Topics:
1. Re: Devel Digest, Vol 13, Issue 10_Bare Metal support for GCC
(da Tyga)
----------------------------------------------------------------------
Message: 1
Date: Sat, 20 Jun 2015 16:26:46 +1000
From: da Tyga <[email protected]>
To: [email protected]
Subject: Re: [seL4] Devel Digest, Vol 13, Issue 10_Bare Metal support
for GCC
Message-ID:
<calj3nd3+cffqf41boww+-bwfnoezs9hyvlhdwvsstymacsu...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
>
>
> Hi Yuxin,
I don't think you need to modify GCC, it is the compiler that you can use
to generate required executables. Making changes to it is a massive
undertaking.
Instead of trying to reinvent stuff that has already been done, you really
should read the Genode documentation and download and read the source code
referenced by Norman Feske's suggestions.
>From my reading of the Genode documents and source code, I would expect
that you would find a considerable amount of code that you could you
re-purpose for your specific requirements.
Cheers,
Tyga
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Fri, 19 Jun 2015 22:46:40 +0800
> From: Yuxin Ren <[email protected]>
> To: Norman Feske <[email protected]>
> Cc: "[email protected]" <[email protected]>
> Subject: Re: [seL4] Does sel4 support c++
> Message-ID:
> <CAAKbDrcbyh0YV+nHzhziiiXavn-=
> [email protected]>
> Content-Type: text/plain; charset="utf-8"
>
> Thank you all!
>
> If modifying the tool chain is the easiest way, I want to try it.
> But I definitely want to avoid creating the tool chain from "bare metal".
> I still prefer to reuse the existing tool chain like gcc
> with minimal modification.
>
> Could you give me some guidance how to create a custom tool chain, which
> part I need to modify?
> I am not familiar with gcc. So if I have to modify gcc, where can I get
> more information or documentation?
>
> Thanks a lot!!
> Yuxin
>
> On Thu, Jun 18, 2015 at 9:50 PM, Norman Feske <
> [email protected]>
> wrote:
>
> > Hello,
> >
> > > The easiest approach is possibly to create a custom tool chain, and
> port
> > > the GCC C++ library that way. I know the people behind Genode did some
> > > of this (http://genode.org/download/tool-chain), although I'm not sure
> > > how much of the C++ standard library they actually support.
> >
> > more in-depth information about Genode's tool chain are provided by
> > Section 7.2 of the documentation [1]. In short, the tool chain is a
> > "bare metal" tool chain that does not depend on a C library, yet it
> > still supports C++ (including exceptions and runtime type information).
> >
> > On Genode, the libc and STL (aka stdcxx) can be used optionally whereas
> > the STL depends on the libc. The libc is based on FreeBSD's libc. The
> > STL is GCC's version. Both libraries are available via Genode's ports
> > mechanism.
> >
> > That said, as both the libc and stdcxx are shared libraries, they cannot
> > be used on the seL4 version of Genode as of now. Shared libraries don't
> > work on seL4 (at least on x86_32) because the system-call bindings
> > cannot be compiled with -fPIC.
> >
> > [1] http://genode.org/documentation/genode-foundations-15-05.pdf
> >
> > Best regards
> > Norman
> >
> > --
> > Dr.-Ing. Norman Feske
> > Genode Labs
> >
> > http://www.genode-labs.com ? http://genode.org
> >
> > Genode Labs GmbH ? Amtsgericht Dresden ? HRB 28424 ? Sitz Dresden
> > Gesch?ftsf?hrer: Dr.-Ing. Norman Feske, Christian Helmuth
> >
> > _______________________________________________
> > Devel mailing list
> > [email protected]
> > https://sel4.systems/lists/listinfo/devel
> >
> -------------- next part --------------
> An HTML attachment was scrubbed...
> URL: <
> http://sel4.systems/pipermail/devel/attachments/20150619/5b4ce704/attachment-0001.html
> >
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Devel mailing list
> [email protected]
> https://sel4.systems/lists/listinfo/devel
>
>
> ------------------------------
>
> End of Devel Digest, Vol 13, Issue 10
> *************************************
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://sel4.systems/pipermail/devel/attachments/20150620/c72cfc07/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 13, Issue 11
*************************************_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
