https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692020-08-21T13:26:23ZOpen-Source ProjectsDeductive Verification Tools for Linux Kernel - Feature #10471: Support ARM architecturehttps://forge.ispras.ru/issues/10471?journal_id=395082020-08-21T13:26:23ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Priority</strong> changed from <i>High</i> to <i>Normal</i></li></ul><p>First experiments demonstrated that <em>gcc_x86_64</em> works pretty well for the Linux kernel on ARM. Maybe this is due to CIL follows cross CIF that eliminates some architecture dependent things.</p> Deductive Verification Tools for Linux Kernel - Feature #10471: Support ARM architecturehttps://forge.ispras.ru/issues/10471?journal_id=402732021-01-28T08:56:21ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Closed</i></li></ul><p>Mikhail supported arm_32, arm_64, gcc_arm_32 and gcc_arm_64. First experience demonstrated that it works. Let's report specific issues separately.</p>