[Caml-list] OCaml on the Arduino (or similar)

[Caml-list] OCaml on the Arduino (or similar)

[Jon Harrop]

[-- Attachment #1: Type: text/plain, Size: 293 bytes --]

 

I don't suppose anyone has retargeted OCaml to run on an Arduino or similar?

 

I'm just getting into Arduino programming and writing async code in C++ is
just horrible. L

 

-- 

Dr Jon Harrop, Flying Frog Consultancy Ltd.

 <http://www.ffconsultancy.com/> http://www.ffconsultancy.com


[-- Attachment #2: Type: text/html, Size: 2386 bytes --]

Re: [Caml-list] OCaml on the Arduino (or similar)

[Adrien Nader]

On Sun, Jan 19, 2014, Jon Harrop wrote:
>  
> 
> I don't suppose anyone has retargeted OCaml to run on an Arduino or similar?
> 
>  
> 
> I'm just getting into Arduino programming and writing async code in C++ is
> just horrible. L

There is OCaPIC fro PIC18 (or above iirc):
  http://www.algo-prog.info/ocapic/web/index.php?id=OCAPIC

-- 
Adrien Nader

Re: [Caml-list] OCaml on the Arduino (or similar)

[oliver]

Hi,


On Sun, Jan 19, 2014 at 12:12:03AM -0000, Jon Harrop wrote:
>  
> 
> I don't suppose anyone has retargeted OCaml to run on an Arduino or similar?
[...]


Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.

Regarding Arduino I don't know it.
Possibly the hardware is too weak for running Linux?


Ciao,
   Oliver

Re: [Caml-list] OCaml on the Arduino (or similar)

[Dario Teixeira]

Hi,

> Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.

> 
> Regarding Arduino I don't know it.
> Possibly the hardware is too weak for running Linux?

Depends on which Arduino you are talking about.  The Uno
and most other common variants are based on a fairly puny
(by today's standards) Atmel 8-bit processor.  But there
are other more powerful Arduino boards (like the Due)
based on ARM Cortex-M processors.  There are ports of Linux
to some Cortex-M variants, but I don't know if these happen
to be the same as those used in the Arduino Due...

But anyway, if you need something powerful enough to run Linux,
you might also consider other boards like the Raspberry Pi or
the BeagleBone Black.  The latter in particular is a pretty
powerful device and has tons of GPIO pins.

Best regards,
Dario Teixeira

Re: [Caml-list] OCaml on the Arduino (or similar)

[Adrien Nader]

On Sun, Jan 19, 2014, Dario Teixeira wrote:
> Hi,
> 
> > Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.
> 
> > 
> > Regarding Arduino I don't know it.
> > Possibly the hardware is too weak for running Linux?
> 
> Depends on which Arduino you are talking about.  The Uno
> and most other common variants are based on a fairly puny
> (by today's standards) Atmel 8-bit processor.  But there
> are other more powerful Arduino boards (like the Due)
> based on ARM Cortex-M processors.  There are ports of Linux
> to some Cortex-M variants, but I don't know if these happen
> to be the same as those used in the Arduino Due...
> 
> But anyway, if you need something powerful enough to run Linux,
> you might also consider other boards like the Raspberry Pi or
> the BeagleBone Black.  The latter in particular is a pretty
> powerful device and has tons of GPIO pins.
> 

You could run something like Mirage too. ;-) 

http://www.openmirage.org/

-- 
Adrien Nader

Re: [Caml-list] OCaml on the Arduino (or similar)

[Goswin von Brederlow]

On Sun, Jan 19, 2014 at 05:05:30PM +0100, Adrien Nader wrote:
> On Sun, Jan 19, 2014, Dario Teixeira wrote:
> > Hi,
> > 
> > > Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.
> > 
> > > 
> > > Regarding Arduino I don't know it.
> > > Possibly the hardware is too weak for running Linux?
> > 
> > Depends on which Arduino you are talking about.  The Uno
> > and most other common variants are based on a fairly puny
> > (by today's standards) Atmel 8-bit processor.  But there
> > are other more powerful Arduino boards (like the Due)
> > based on ARM Cortex-M processors.  There are ports of Linux
> > to some Cortex-M variants, but I don't know if these happen
> > to be the same as those used in the Arduino Due...
> > 
> > But anyway, if you need something powerful enough to run Linux,
> > you might also consider other boards like the Raspberry Pi or
> > the BeagleBone Black.  The latter in particular is a pretty
> > powerful device and has tons of GPIO pins.
> > 
> 
> You could run something like Mirage too. ;-) 
> 
> http://www.openmirage.org/
> 
> -- 
> Adrien Nader

Mirage though requires hardware virtualization, which means a quite
recent and powerfull arm board. The Raspberry Pi is way to old for
that (Note: the cpu is way older than what other boards have).

I've written an exokernel that lets me run ocaml barebone on the
Raspberry Pi:

    https://github.com/mrvn/ocaml-rpi

It's at a proof-of-concept stage. You can run simple code with output
on the serial console. The graphics gets initialized too but there is
no ocaml interface for it yet though. I've run into a problem that the
GC will crash after a while that I got stuck on.

The exokernel might be a good starting point for other boards (where
mirage doesn't run) too. You don't need much to get the ocaml runtime
running on some board.

For Arduino the hard part would be to gte ocaml itself build. I don't
think 16-bit values are supported.

MfG
	Goswin

Re: [Caml-list] OCaml on the Arduino (or similar)

[Peter Zotov]

On 2014-01-19 12:58, Adrien Nader wrote:
> On Sun, Jan 19, 2014, Jon Harrop wrote:
>> 
>> 
>> I don't suppose anyone has retargeted OCaml to run on an Arduino or 
>> similar?
>> 
>> 
>> 
>> I'm just getting into Arduino programming and writing async code in 
>> C++ is
>> just horrible. L
> 
> There is OCaPIC fro PIC18 (or above iirc):
>   http://www.algo-prog.info/ocapic/web/index.php?id=OCAPIC

I second this suggestion. Porting OCaPIC runtime to run on AVR (or 
Cortex-M ARM) is
the easiest way.

-- 
Peter Zotov
sip:whitequark@sipnet.ru

Re: [Caml-list] OCaml on the Arduino (or similar)

[Anil Madhavapeddy]

On 30 Jun 2014, at 17:02, Goswin von Brederlow <goswin-v-b@web.de> wrote:

> On Sun, Jan 19, 2014 at 05:05:30PM +0100, Adrien Nader wrote:
>> On Sun, Jan 19, 2014, Dario Teixeira wrote:
>>> Hi,
>>> 
>>>> Arch-Arm-Linux (e.g. for Raspberry Pi) also has OCaml-packages.
>>> 
>>>> 
>>>> Regarding Arduino I don't know it.
>>>> Possibly the hardware is too weak for running Linux?
>>> 
>>> Depends on which Arduino you are talking about.  The Uno
>>> and most other common variants are based on a fairly puny
>>> (by today's standards) Atmel 8-bit processor.  But there
>>> are other more powerful Arduino boards (like the Due)
>>> based on ARM Cortex-M processors.  There are ports of Linux
>>> to some Cortex-M variants, but I don't know if these happen
>>> to be the same as those used in the Arduino Due...
>>> 
>>> But anyway, if you need something powerful enough to run Linux,
>>> you might also consider other boards like the Raspberry Pi or
>>> the BeagleBone Black.  The latter in particular is a pretty
>>> powerful device and has tons of GPIO pins.
>>> 
>> 
>> You could run something like Mirage too. ;-) 
>> 
>> http://www.openmirage.org/
>> 
>> -- 
>> Adrien Nader
> 
> Mirage though requires hardware virtualization, which means a quite
> recent and powerfull arm board. The Raspberry Pi is way to old for
> that (Note: the cpu is way older than what other boards have).

To be more precise, the Mirage/Xen/ARM backend requires hardware
virtualization in order to provide the bootloader and device libraries.
The majority of other libraries should just work once these are
supplied.

There's an effort underway to complete a FreeBSD kernel module backend,
which would output a kthread-based module.  This would run on the rPi,
since you could strip down the FreeBSD kernel to pretty much just
have the bootloader, virtual memory manager, and the required devices
drivers.

> 
> I've written an exokernel that lets me run ocaml barebone on the
> Raspberry Pi:
> 
>    https://github.com/mrvn/ocaml-rpi
> 
> It's at a proof-of-concept stage. You can run simple code with output
> on the serial console. The graphics gets initialized too but there is
> no ocaml interface for it yet though. I've run into a problem that the
> GC will crash after a while that I got stuck on.
> 
> The exokernel might be a good starting point for other boards (where
> mirage doesn't run) too. You don't need much to get the ocaml runtime
> running on some board.

Or indeed, just use this as a base as well!  The reason we selected
kFreeBSD is to make bootstrap of the device drivers easier, and 
gradually rewrite them.

-anil