--- layout: fc_discuss_archives title: Message 23 from Frama-C-discuss on January 2017 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Support for RISCV



Hi,

As noticed by the other persons who replied, multiple things may be
required for a new backend. The simplest configuration option is the notion
of "machep" in Frama-C, which is documented in the user manual (section
5.3). If the currently available ones do not fit your hardware, it is
rather easy to write a new one, and to load it dynamically. Otherwise, if
your need more advanced things such as compiler builtins, you will probably
need to write a bit of OCaml code, or at the very least some ACSL
specifications. Do you have specific needs in mind?

HTH,

On Fri, Jan 20, 2017 at 12:33 PM, Paulo Matos <pmatos at linki.tools> wrote:

> Hello,
>
> What's the best place to start if I want to add support for RISCV?
>
> Is there any documentation on adding a new backend to Frama-C?
>
> Kind regards,
> --
> Paulo Matos
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss




-- 
Boris
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20170123/f2067dac/attachment.html>