# \#arm

**URL:** https://discuss.ocaml.org/tag/arm/234.md

[Latest](https://discuss.ocaml.org/latest.md) · [Categories](https://discuss.ocaml.org/categories.md) · [Tags](https://discuss.ocaml.org/tags.md)

---

## [Cross-compiling for Embedded arm32 Target (RP2040 / Cortex-M0+)](https://discuss.ocaml.org/t/cross-compiling-for-embedded-arm32-target-rp2040-cortex-m0/11585)

<div class="topic-metadata">

**Author:** [@greenbagels](https://discuss.ocaml.org/u/greenbagels)\
**Replies:** 16\
**Last updated:** [March 13, 2023, 11:27am UTC](https://discuss.ocaml.org/t/cross-compiling-for-embedded-arm32-target-rp2040-cortex-m0/11585 "2023-03-13T11:27:42Z")

</div>

Hi, I recently got a hold of a Raspberry Pi Pico, and was looking into whether it would be possible to compile native embedded arm32 executables to run on the platform (which features a Cortex-M0±based RP2040 with 264kB …

---

## [\`x \*. y +. z\` is systematically compiled into an \`fma\` on ARM](https://discuss.ocaml.org/t/x-y-z-is-systematically-compiled-into-an-fma-on-arm/9020)

<div class="topic-metadata">

**Author:** [@thierry-martinez](https://discuss.ocaml.org/u/thierry-martinez)\
**Replies:** 4\
**Last updated:** [December 15, 2021, 9:30pm UTC](https://discuss.ocaml.org/t/x-y-z-is-systematically-compiled-into-an-fma-on-arm/9020 "2021-12-15T21:30:34Z")

</div>

In the section 14.5 Compatibility with the bytecode compiler (OCaml - Native-code compilation (ocamlopt)), we read: On ARM and PowerPC processors (32 and 64 bits), fused multiply-add (FMA) instructions can be generated…

---

## [OCaml for ARM MacOS](https://discuss.ocaml.org/t/ocaml-for-arm-macos/6019)

<div class="topic-metadata">

**Author:** [@Blaisorblade](https://discuss.ocaml.org/u/Blaisorblade)\
**Replies:** 23\
**Last updated:** [February 23, 2021, 4:33am UTC](https://discuss.ocaml.org/t/ocaml-for-arm-macos/6019 "2021-02-23T04:33:14Z")

</div>

As a user of Coq on Macs, I wonder if OCaml will add native support for their new ARM CPUs, and how hard it is, and how long would that take roughly — 1month, 1 year, 10 years? I realize this question might be very hard…

---

## [OCaml sources compilation for iOS/Android](https://discuss.ocaml.org/t/ocaml-sources-compilation-for-ios-android/2167)

<div class="topic-metadata">

**Author:** [@egoholic](https://discuss.ocaml.org/u/egoholic)\
**Replies:** 2\
**Last updated:** [July 31, 2018, 9:15am UTC](https://discuss.ocaml.org/t/ocaml-sources-compilation-for-ios-android/2167 "2018-07-31T09:15:57Z")

</div>

I heard that it’s possible to compile OCaml code for iOS and Android platforms. In that article I’ve read about Eliom applications, but I decided not to invest my time in Eliom (it looks complex, I don’t like custom file…