L4La-Pistachio: using idl4 for amd64
Semion Prihodko <[email protected]> Thu, 9 Feb 2012 23:00:34 +0200
| Newsgroups | gmane.comp.micro-kernel.l4.l4ka.general |
|---|---|
| Message-ID | <CAOLuvB2wjbDGihvwJNG-Q1n3p-a1uQQKLwnTLd7SaY_UduMMUA@mail.gmail.com> |
--047d7b339601a2d8f804b88e4de9 Content-Type: text/plain; charset=ISO-8859-1 Hi, guys. Have a little question. As I understand, the Idl4 stub generator does not directly support amd64 (only ia32/arm). Am I right? In case I'm right, is there a way to adopt the tool to this architecture? Thanks. --047d7b339601a2d8f804b88e4de9 Content-Type: text/html; charset=ISO-8859-1 Hi, guys.<div><br></div><div>Have a little question. As I understand, the Idl4 stub generator does not directly support amd64 (only ia32/arm). Am I right? In case I'm right, is there a way to adopt the tool to this architecture? Thanks.</div> --047d7b339601a2d8f804b88e4de9--