From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id EA5A05D5 for ; Thu, 25 Jul 2019 15:52:55 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,307,1559512800"; d="asc'?scan'208";a="393321868" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 25 Jul 2019 17:52:32 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id AB8A482713; Thu, 25 Jul 2019 17:52:32 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 55F0B826CE for ; Thu, 25 Jul 2019 17:52:23 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=info@gerd-stolpmann.de; spf=None smtp.mailfrom=info@gerd-stolpmann.de; spf=None smtp.helo=postmaster@mout.kundenserver.de IronPort-PHdr: =?us-ascii?q?9a23=3A3/Ag+hDOIXN/r5svc7HUUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT9osbcNUDSrc9gkEXOFd2Cra4d0ayG6euwCCQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTagf79+Nha7oRveusQVhYZpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLuhS?= =?us-ascii?q?waNTA27XvXh9RtgqxFrhKvpx9xzYDab46aNvVxYrjQfdwGSWdbWchdSyJMD4G6?= =?us-ascii?q?YoASD+QBJ+FYr4zlqlUPsxS+HxSjD/7yxD9UgX/22bU60+E7HgHA2gwrAtUDsH?= =?us-ascii?q?XSrNX7M6cfSu+1w7fSzTredv9Wwiv96I/MchA5pPGDR7RwcczLxUYyCQzIl1Od?= =?us-ascii?q?opHrMTOS0+QCqWmb7+x4WOKglWEnsRx+riG0xscwjYnJgpoVylXe+iV/xoY5P8?= =?us-ascii?q?C3R1Bjbd6lFptQqz+VN49sTsw+RGFovT42xaEctp6+eCgF1JUnxwLfavCddIiI?= =?us-ascii?q?+B3jWP6VITZ2gnJpYrS/iAiu8UWm1+byVdG03U5UoiZYjNXArG4B2wLR58SdV/?= =?us-ascii?q?dx4Eas1SyS2w3Q6OxIOUM5mKXBJ5I83rI9lIAfvEXHEyPsmEj6kambfVg+9Oey?= =?us-ascii?q?8eToeLDmq4ecN4BqjgH+Nbwjmsm4AeQlLggCRWub+fm61LL+40L5Rq5KgeMskq?= =?us-ascii?q?nHrp/aP94XqbOnDANN04Yj7QiwDyu+3dgGgHULMkhJdAyZg4XrIV3CPe70APal?= =?us-ascii?q?j1ixkzpmxejKPrj7DZXMKnjDnq3hfbF460NEyQozy95f55VPB7EOPv3zQFL+uM?= =?us-ascii?q?XDDh8lNAy0x/7nCNBn2YMYX2KDGLKWP73KvV+S+u0vO/WMZJMSuDvlN/cq/fvu?= =?us-ascii?q?jXsglV8ZfKmpxocXZWujHvVmJkWZeWDjjs0AEWcMpAo+TfblhEeMUT5JND6OWP?= =?us-ascii?q?c37zQ/TYanFpvrR4a3gbXH0j3oMIdRYzVpB0qAWUz0cIGcXv4KbmrGI8lvlRQL?= =?us-ascii?q?WKKtDpQ90hW2sQb8zfxrI7yHqWUjqZv/2Y0ttKXonhYo+GksVpXP4yS2V2hx21?= =?us-ascii?q?gwaXoz1aF7r1Z6zw7Sg6d1mfAdDsBU4+tMWwE8c5LRnbQjVoLCHznZd9LMc26I?= =?us-ascii?q?B9WrBTZrFIA0xMISJUVgHdmviAvOxTSnGfkZmu7TXcBmwufnx3H0Yv1F5TPezq?= =?us-ascii?q?B43gspT9FDcHa6gapn8gHVAcjFnhfBmg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DrAwB2zzldh7t+49RmhR1TMSqEHYh8i?= =?us-ascii?q?BiBaiUPmmwJAQMBBwUnBQECAQGBS4J1AoJeGwYGNBMBAwEBBAEBAgEDAwETAQE?= =?us-ascii?q?BCA0JCCmFJQyCOiKCbwECAQEBIzI0CzQOAgJXEwYCAQEFgxkBgXsTAQqtU4Eyh?= =?us-ascii?q?DMBCwEGAjsEAYUmEIE0gVGHRoJJFz6BQYERJwyBSGkuPoJWCwECAYIsgj6CWAS?= =?us-ascii?q?MBwsSh3aWVwmBOWMXA4MRgiCBDoRuhhSCLyGNMopalQSQM4FngXlNJBQ7gmwJF?= =?us-ascii?q?oI9g1czhCY7hUE+MgF7CgEBjVMBAQ?= X-IPAS-Result: =?us-ascii?q?A0DrAwB2zzldh7t+49RmhR1TMSqEHYh8iBiBaiUPmmwJAQM?= =?us-ascii?q?BBwUnBQECAQGBS4J1AoJeGwYGNBMBAwEBBAEBAgEDAwETAQEBCA0JCCmFJQyCO?= =?us-ascii?q?iKCbwECAQEBIzI0CzQOAgJXEwYCAQEFgxkBgXsTAQqtU4EyhDMBCwEGAjsEAYU?= =?us-ascii?q?mEIE0gVGHRoJJFz6BQYERJwyBSGkuPoJWCwECAYIsgj6CWASMBwsSh3aWVwmBO?= =?us-ascii?q?WMXA4MRgiCBDoRuhhSCLyGNMopalQSQM4FngXlNJBQ7gmwJFoI9g1czhCY7hUE?= =?us-ascii?q?+MgF7CgEBjVMBAQ?= X-IronPort-AV: E=Sophos;i="5.64,307,1559512800"; d="asc'?scan'208";a="314715234" X-MGA-submission: =?us-ascii?q?MDFpHII18L5foS4BrI+YnlrRCo1/0Z7CsO2ywd?= =?us-ascii?q?ashrJ9QPot6DPE0JoBr/DVQ0G/N/DarnezRPmW2N9lPMdOsSGf5KmKiy?= =?us-ascii?q?+U7l+FVhzlT59P08PneHtEAxa46zON93fYv+/w6ngi5jtOoKnW70mB4m?= =?us-ascii?q?SrsMIbwt1GlDe7BWKfCQ4CpA=3D=3D?= Received: from mout.kundenserver.de ([212.227.126.187]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 25 Jul 2019 17:52:21 +0200 Received: from cyrus.sumadev.de ([85.183.69.161]) by mrelayeu.kundenserver.de (mreue010 [212.227.15.167]) with ESMTPSA (Nemesis) id 1N5VTm-1iSRlz3bUw-016tsx for ; Thu, 25 Jul 2019 17:52:17 +0200 Received: from gerdbook.fritz.box (84-107-69-51.cable.dynamic.v4.ziggo.nl [84.107.69.51]) by cyrus.sumadev.de (Postfix) with ESMTPSA id 16464617D3D05 for ; Thu, 25 Jul 2019 15:52:17 +0000 (UTC) To: caml-list@inria.fr References: <20190725142821.hf524xbdgqcshrei@annexia.org> From: Gerd Stolpmann Openpgp: preference=signencrypt Autocrypt: addr=gerd@gerd-stolpmann.de; prefer-encrypt=mutual; keydata= mQGiBEHy0HQRBACcYHEsm7JzPUHqgutdqFQaGMUCqf9BUCHrr6hmUm732nN8tZt0IPxEaOdY XSyOp68Ygz56Aj3GiA29QdPzK9j2w5LAXNueFKT0zv64sa6XSgzUsFQ92xCSruQb86y0EYEJ iZ2h/E0hESPB47EJayB8UZfzH8s5OK2eUqIB6qIlXwCgkH94jEdriRgfXfn60SvWtPTPZwkD /3rNHqrHaPnzFoOQuksUQ3nMeKWQ7nLt/Mj0bxQRWBLKlzUuLluVzFBqYNv/HRXeycSdlcDZ XXP1Oy4Jh4U4qaOqute/AwmmEU9Gw86GGY8nvoOvjO0IVZIHLklGa2XVL4BxbwSd75LCDzA3 FIY+Y+0VBxHAIF8fX0B4qiIWFCO9BACWzimZjE//Z+cA8HsB+g4db6fFTCd/LFIyEmZ0/xqw 1JNJ25+jXUpeu2AtztmHl84qBm8WmTsrKgol64q2wjAdhVKVT7eiveh7fBM0LO4Yp8vI9GUv coPVNOcxiJDS8/R+SatlDYUI/t1YRPpeFzpW1eZaZFoRz2Ygg9Mo7Yxa/LQnR2VyZCBTdG9s cG1hbm4gPGdlcmRAZ2VyZC1zdG9scG1hbm4uZGU+iF4EExECAB4FAkHy0HQCGwMGCwkIBwMC AxUCAwMWAgECHgECF4AACgkQkQtx/2wjd3/UbQCeJPs5dk9zG9Q3Dulfv6BFXDvB6JcAnji7 OwPcpTyALzrdTRFRBW0WL169uQINBEHy0I0QCACJsMAD9JynorZ2QHWmw6NypaOZ5if8tsT5 J3ln4t7TYR4h2s2G6w0HX60IWWwS8IvEhgv8zoR//DyFZddwZ4upO0e6wEWv4XE2Y74T2fyq OTw11/aL+8hloX0VCeLVfZdH8+jGj+JAZ/3hWAVd+gZcWrmlyyGYMNCWBzkyRWTkDYLeOyzp bB+MjwXTJBk2QJV25iObWIRqAw+yxIGGcNttqluGg3207mwX4yNbrZ94ZIaIUgH7CviwuC7+ phJq+P3ValPgaTG0EcwTtPkjHdu32V9aA9H6kHQppWEx6OeWa2GsHoYzlmbbbR4YCBQm/YAp kvdAHxDWc+UnRJwyNjQjAAMGB/45aDwvf0aoryQf2D6KQSJatBBLOAtuesUbbDy++d+0ITEc K5JU5vpS/lWdVinnUqDH2VFN01Thng9ZJZ2anmyB93KIafRFwEEI4jbS32f+8nYg/HcTAB5D albwLetpH37dkMvm5ALDvh5+8cgWEqREKqmqXmJ+v3Uzs+DgwiPs9QZa9MWvLV+UWc361Z96 0fqQh5InZsFW8ARsi5kbf6PRFnmKFLI0fIX64VmzdwAbaAa73DfY10ZK6iCTZt/0FKYKPBwV Ef4Dh7YP09uR4HycuVVBpXLGz4YgxZzaH4A7IbunDyam7VuHWNw6gZao5SHgLHXGAAmLQyQ6 8Pdi98OxiEkEGBECAAkFAkHy0I0CGwwACgkQkQtx/2wjd39h9wCdF5SCGk5BcohMlOtRQ8hL eJCQZkoAnAqGWMZitFEPcJ2eCB+R0mzOBkqduQMuBFIGfTwRCADSi1rrYNFZ9hEsgP1ZC40i 98k2HP530U0E4u7nHr1MNb0ls1XUKQMTqUc6vI/udW+m68h8yNoE98ScAuaAjIWghoTOOT/c yEEy4fI1kS3d2nEOf1JVWgKSgmeK7Fq5w+Nc5h2gvSQOY5+JbRO6orhrRLT0E58zbzKq0KnA RhwzA6M/V3ty02LIG8kQ/0/3ipWI26NDRYh4J6j+WBdP/6iPyZ2TshYr5UnhheWKbd1bDL7S eIwR00hX8duQra3/Lepa6WPPMwxTFhB93LOHnbHpMDDS6vkJndw8AWPbGWN2y0GNZmGagGIJ hcQZgVBNRe1HwWkLivq/7vkTaxTrCln3AQChulcNXMkAazYT6TIllYOEwN/J+4XS+2id/2+O yocRAQf6AsM6ILtDYpIdrG8OI9TSdVRfVlmFoqbb6/Y8nXV0yD50uPGu6T7jFq2LCoFG8llh cAP0zXYsgAM93bkWx+NkYN8KGoMRiDQ9Qx6sVOVdy2ZQPq1T0Jb7mEQ82BrkuZkj1gY2XEVk qqDowxUg5pFHcyaVOJsD0cGhhML9qcqqBWPQAhd0YgHzEyGPq3fuft5LIwmZ22Up+eWcVPP/ s5fSBkgNrn5B/4QVRKC01gEiJZg4GHilPOZnujyOTTtUXSgb/6OO4mjESB+R0OZAQ3fi4e5h RJJrIooY5hd2jWqyBqSJddqXcqRsSWTwwgv4bAOZIAYsn8lpSrMK+vodmB3magf/UwWRwcz0 h3vgEO4ZWpJhxjXErlsdQWzdiD1jn+fcV6YFrSW9GF38zgHdvq+EjwHq5e+malWQMFXGvIOe +Cx/fP8qY8EYYmwHg2a047ajCRlpCEBLOL1FVhrQrfzKrq7CyokP8YXj2KNfZTy8Kon12lp2 bycrQ914K8/Eea7NebScqr3drmJ4g9ZNpLITLjpLD+b38QdD4VM7P/7t+oTR34a+5xOplE22 /lLIeZHlJtHqZdRRQnexVV6PtKrIsGtA4BtuFoQC6dKjA3aqNHFaNWkcg2IftMUfzTWwjD47 X4TWqrkYeANu0NZCJXcy3OlBTy8ZKd5TRwXlCxsIfbVn7oipBBgRAgAJBQJSBn08AhsCAGoJ EJELcf9sI3d/XyAEGREIAAYFAlIGfTwACgkQaCBYy8LTV4C7JQD9Eu6F2zqy5KhgsRA/WLw9 igVJ6wNz6qjnelhO6e/ROuoA/0mxQ7D/jPIDmYKytNorlz0dC9eAB/pwXlJ80tKOZOtoLDAA n2cWn/EsEidDYLAyi7y7CwrvibuXAJ9PJ/WG8nJxpsPy1Aw0JnNuAiYMirkBDQRSBn45AQgA ngphBY7i6IfnKfD3/UmFOCReEUvVjKz6AszCWey1hUbm4rFHYDgz5mEiNIDbX5DHrAlL5ZkH 4uAIRDWzJ37kE1Gw48z091Qq9smMMDZuclHdYuBh6k4BokUny3G09O2JsFNxfd93sOkVY1Ca A0P2vNish1AeW8dghAzE/jmzrWa6V3OVp6G+ubAZgkIgNSdqn1DhwKRQ6Uf78OBg1qZNl23/ rNTd+sJQoIsS1HWO5RLNZ+2GZgdYfqXpkF0q3KjFakav2Kk5SlQEoA2R+dfKeBs1Au6va+f5 0YCGrdrnjS89rSPLyJMvdgkUY+TjOganP2DQQFF0AGnm5c8IAS0o1wARAQABiQFoBBgRAgAJ BQJSBn45AhsCASkJEJELcf9sI3d/wF0gBBkBAgAGBQJSBn45AAoJEAaM4b9ZLB5T/bEH/A31 a5BYFl2KRx2mlyKzsUMy1kSVLdDkVii+D+/6V0OS/3BJW7ge9uHBW+JVneddk9Qml089p+MN S5Xkr00bNqnlVuUrrPYHnshMFOT6CBTN1juqpT32ta+JTvg4gDu0VKjWOEXCyxays6XlBX26 usw27NPHAYXE8bdVIQoNvEA2TGo8O5eIaG8cUcI05SRAk9vwLGStouSerJBEg2e3scEaKOSo 5noIGMD3aH9O9Ya4FuyFP0ya88x9U8WIsR6yDYjFlLqU7PYP6kB1knpoHRy2BFCwW/5lLmce mo/GiBNejL72cvAzfTSXlSo9xzSBUnLBZ4W25MRlOwY5voEeWYrrcACeMsryTvyMtMpQdHae f9O1ITP/S6YAn1RyTjnATuS6k0WZ7WBiHDqpAPYKuQENBFIGfpMBCACyu8NNYv2jczhrcX7t PrBfLlcLgfSr4FNM9IH5P0pBdk0Nx0YCrjb1g33oiHJwIH50GoBMesJ3nbzzCo7iYfZPsM5f higHaLv0yxbhWQn3ftgG2U+CFzzo+bxuSYuXkOGaZC/g2BGc5VQY/ZGcJoVHl2ngZXO0+Brj CwCzt0itij1w9PASvCImiXJQLHBLVa4IUOYp+IWMospFEBLfE5qLZexzbQhbiqVKs4K7N6/6 4H8i3onpbFzDX3gB3DoAncQCFy1sM/FtU2zGEFCAj2OGSMBaEbSHmnoGVUiCbpOhuPA7m845 6woTLljSX1/BD2J5+bDRJcz693gSEhjvcAqrABEBAAGISQQYEQIACQUCUgZ+kwIbDAAKCRCR C3H/bCN3f0fHAJwNfkOQr+aggibA4mQIbOorwFHGcgCdEz+yQLbZzPr+T8G8XoCQmXx7wPc= Message-ID: <766885e6-5cf9-c5b0-7944-ed2e4db666b9@gerd-stolpmann.de> Date: Thu, 25 Jul 2019 17:52:06 +0200 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.14; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <20190725142821.hf524xbdgqcshrei@annexia.org> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="CZ2oJh6BuTZdFllL5MH1fzTY8udACJ8Cm" X-Provags-ID: V03:K1:0EeQd/zU8O0Xe29s6ezA4us72Izplwv6yi5kxbh2IMiccMdIIZs bE1hMtTBJB/TOimiGg9gP0FpgwjGVcfkiC+9DXfMNUk34Nnwfg94cWFkIELuMO6s3Em4Vih FarTnMfygZ2HMynYEXZ/3Fb2AVrTK+pIvDzXF6B32fxaIuklLCvOrENLTNyzTpsTqk6P0+v +RPej35iAWYYSxuGnNKaw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:tfHgrYUU8hU=:GJe3yNvBmyWyOh5UTCZ/oS k+Hu6vCn98toy1LUTiLBKjAFzN7BGabzegqKVcaR17a8Cz/1aDvSJh8kysYPAxuidn+o9mzz4 Let9aQCKncg4qBFesBN/kR4Wa4FexTUwNbs+Mfho/epjKchjee0C+D6xpxL8unBdNvdYqRQRz uDa75aFvkq95vYmDTLLwcdm1aq2M0hCuoMHAu4mOCrP7y16caPT6J3ykbzl2pvhdXakD8ile3 ahmw3L+7c7LlNU4K9ztuDvOOSU3QdbP0VPcy4BFtR9usZMMcNvN50ZM472BUZxSw47Uf1lkbl jBIlhnX/Gb8mbV+NGOylq1wMvwlHBYWTrGelptvUdCz8ba/OYahlSA+ery4/j65KlELvLsbkm kApMitd22azvJeGTX1bSsXe6xwO62G897qvmDlSmoi8Q91EY63YCaf67gR08zM0X7u9b7YC0s PYBhhou53gLJw/p9MnDlXNrFJ4/MDOVfaltfR+MXd3+iDBBK4+b/IdGNA2yi79sWEysdNcYjW B+esRShoWTHGXWXVviofegd8hGpETThpdyM7b6elWTVmM31RgKlKWJE5E9LJ2xj6TpsTmBzRT bBFLXu7jukKCH8619dedV+yBBqd6/LQoaUbYsJjjf9to0q2i8jUCacFiRo7z4qA4h9V7aOXhC VKKtuU5UNy2WhTJNlNLYdZ38ozeYRonfYi8ClbQz/8zdASs5m8P9nY3GxNWB5TUDFzfNU0+fD w+nEsxLtfFfZJrVXN4p/qss+V3XSFgIoRpJd1QwLD64kiPtZOAE8UNf4EcM= Subject: Re: [Caml-list] Any plans for supporting Intel CET in OCaml? Reply-To: Gerd Stolpmann X-Loop: caml-list@inria.fr X-Sequence: 17709 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --CZ2oJh6BuTZdFllL5MH1fzTY8udACJ8Cm Content-Type: multipart/mixed; boundary="ohXGFPKS7xPPSv3ubr69j0LzCb4HJfDhk"; protected-headers="v1" From: Gerd Stolpmann To: caml-list@inria.fr Message-ID: <766885e6-5cf9-c5b0-7944-ed2e4db666b9@gerd-stolpmann.de> Subject: Re: [Caml-list] Any plans for supporting Intel CET in OCaml? References: <20190725142821.hf524xbdgqcshrei@annexia.org> In-Reply-To: <20190725142821.hf524xbdgqcshrei@annexia.org> --ohXGFPKS7xPPSv3ubr69j0LzCb4HJfDhk Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Am 25.07.19 um 16:28 schrieb Richard W.M. Jones: > There's an effort to harden every binary in RHEL to protect against > ROP-style attacks. Of course this is mainly applicable when your > language is vulnerable to buffer overflows, but sadly even our OCaml > applications still link to some C libraries :-( > > I was looking into this and the indirect branch tracking (IBT) part > seems simple enough. For every indirect jump or call _target_ you > must insert one of the two instructions ENDBR64 or ENDBR32 (both are > NOP-like on older processors). The processor sets a flag when an > indirect jump is taken and #CP's if the indirect jump doesn't land on > one of these instructions. I guess that's fairly simple to add: Just put these instructions at the beginning of each function, and you're good. For local functions, you could do a bit more analysis to find those that are really used as branch= targets. If I understand it correctly, the idea of CET is to reduce the attack surface. > > There's also some stuff with shadow stacks which looks a lot more > complicated and I didn't fully understand. The whole thing is > described in: I think the idea is to prevent that you can change the return addresses on the stack. For most code this should be fairly automatic, with a few exceptions. The first is long jumps (used for exceptions in OCaml). I've seen that there's a special instruction for removing entries from the shadow stack, and for doing a long jump you need to know how many frames you are going back. The other area where this could fall on your feet are structural transitions where you write new stack entries, e.g. when you need to switch to different calling conventions and need to write completely new frames including return addresses. You cannot write new return addresses to the shadow stack, though. I don't know by heart whether this affects OCaml, but it could. Gerd > > https://software.intel.com/sites/default/files/managed/4d/2a/control-fl= ow-enforcement-technology-preview.pdf > https://lwn.net/Articles/758245/ > > Unfortunately (but for obvious reasons) every asm object in a program > must be compiled with CET in order to enable the feature for the > program as a whole. This means that any mixed OCaml/C program can't > benefit from CET even in the C parts, unless we also support this in > the OCaml parts. > > Has anyone looked into supporting this kind of thing in the amd64 > backend? > > (I looked at the OCaml trunk and couldn't see any relevant commits, > but maybe I missed something in my grepping). > > Rich. --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --ohXGFPKS7xPPSv3ubr69j0LzCb4HJfDhk-- --CZ2oJh6BuTZdFllL5MH1fzTY8udACJ8Cm Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEDD3jJ6xcCmoYHoi4Bozhv1ksHlMFAl050CsACgkQBozhv1ks HlPa4gf/SpS6sW7AjyilLC6voqvLcuZY86hhwa7ZsJCw4rxncWx5yXyZB+VHARFp M9f6LCYCNwxzybX/yUjxLjWgRNtLin3R5HaNtkkqThsG5G0B8Ul/MFmQ3e64+kha 5k5PnETTkThthQcSUw4z1nENrOmXccjVTi3WZzrrdFNqfenQwT5RSZnMGe5q+0Ut lPZhXC3yjpqlSXf/FNPm55+Bxpk+D9B2DKrz15VeLSB8ig1CZXzF5yV6YzbH2TH9 Ypo5ohCZH+beoBnS1+OHMCDt1JfJa4JbpcrlI+zcXd/S76XLQ1/vEN2hor3zd5Xy ZRK6mYf5vxZZxTETmgKTI4z9qZmD9A== =/TcE -----END PGP SIGNATURE----- --CZ2oJh6BuTZdFllL5MH1fzTY8udACJ8Cm--