Hi List,
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
Damn autocorrexionn, I meant /already/ not /Amy/! On 8 Jul 2014 22:37, "Ilya Dmitrichenko" errordeveloper@gmail.com wrote:
Hi List,
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level language applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
Hey Ilya
That's really cool, been watching Rust's development overtime and hoping to see it running on lower level devices. What are the limitations currently memory wise?
On Tue, Jul 8, 2014 at 11:11 PM, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level language applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Hi Alan,
The limitations are next to nothing in terms of RAM, there is currently no use of C stadard library at all and one little problem is that only static allocations are supported... Another thing that might be considered limitting is that there is no equivalent of printf in Zinc... That should be fixable once Rust 1.0 is about to land. The supported MCUs currently include LPC17xx, one of STM32's and a K20.
I have seen your post on Go mailing list about MCU support, which is something I was interested in as well... However, to me it doesn't seem that Go will ever take that direction, but Rust clearly is going there. The only complication at the moment is that Rust is still evolving ragther rapidly and one needs to run daily builds in order to keep-up with the compiler chages. I have made a couple of PR's to Zinc in the last week to accomondate for such improvements. Most of those changes I have seen in the liittle while do really make a lot of sense to me.
There are some very intersting features in Zinc under development right now:
http://zinc.rs/blog/#/platformtree/2014/06/27/on-platform-trees/ https://github.com/hackndev/zinc/issues/90
Cheers,
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
1) Hardware required (setups you know work currently with Zinc) I assume just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko <errordeveloper@gmail.com
wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level language applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Morning,
On 9 July 2014 08:59, Alan Wood folknology@gmail.com wrote:
- Hardware required (setups you know work currently with Zinc) I assume
just Mbed 17xx or STM32F4 discovery right now
The LPC1768 mbed board will do just fine. If you have a Freescale K20, you can try it also as it's been added to Zinc yesterday... The code for the ST chip currently needs some more work.
- Toochain setup for compiling
The ARM GCC toolchain is the one you want: https://launchpad.net/gcc-arm-embedded For the Rust compiler, please use the nightly version. Ping me on hangout if you find any issues.
You will need Ruby and rake installed as well, shouldn't matter which version. You the run this command to build the blink example:
rake PLATFORM=lpc17xx build_blink
To run unit tests use this:
rake PLATFORM=lpc17xx test
- Loading code/debugging target
To program the mbed board with blink example, copy build/app_blink.bin to the USB flash the usual way.
I haven't tried debugging on target yet, Rust works with gdb just fine though. I have debugged unit tests natively the other day.
That will help us with the on-ramp and testing to support your efforts.
More then happy!
Have you had a chance to try it out yet? On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I assume
just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level language applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla
foundation.
It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen
in
higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next
big
affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
I haven't tried yet due to time constraints, I will probably wait until you get the STM32 series working with Zinc again as I fancy using this rather attractive ST board : http://uk.farnell.com/jsp/search/productdetail.jsp?sku=2355377. I don't currently have (Despite having,many others!) a compatible board to test Zinc on.
regards Al
On Mon, Jul 14, 2014 at 12:59 AM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Have you had a chance to try it out yet? On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I assume
just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level
language
applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project
that
some of you might appreciate. I suppose that some of you Amy have
heard
of a recently developed Rust programming language by Mozilla
foundation.
It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen
in
higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on
years
of compiler practice, it has the real potential of becoming the next
big
affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled
Zinc.
It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
We have fixed the build for stm32f4 last night actually. It's not using platform tree macro yet, but compiles and should work. On 14 Jul 2014 12:52, "Alan Wood" folknology@gmail.com wrote:
I haven't tried yet due to time constraints, I will probably wait until you get the STM32 series working with Zinc again as I fancy using this rather attractive ST board : http://uk.farnell.com/jsp/search/productdetail.jsp?sku=2355377. I don't currently have (Despite having,many others!) a compatible board to test Zinc on.
regards Al
On Mon, Jul 14, 2014 at 12:59 AM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Have you had a chance to try it out yet? On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I assume
just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level
language
applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project
that
some of you might appreciate. I suppose that some of you Amy have
heard
of a recently developed Rust programming language by Mozilla
foundation.
It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally
seen in
higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation
instead
of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on
years
of compiler practice, it has the real potential of becoming the next
big
affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled
Zinc.
It aims to implement an RTOS-like system that is capable of running
on
bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Excellent news
On Mon, Jul 14, 2014 at 1:26 PM, Ilya Dmitrichenko <errordeveloper@gmail.com
wrote:
We have fixed the build for stm32f4 last night actually. It's not using platform tree macro yet, but compiles and should work. On 14 Jul 2014 12:52, "Alan Wood" folknology@gmail.com wrote:
I haven't tried yet due to time constraints, I will probably wait until you get the STM32 series working with Zinc again as I fancy using this rather attractive ST board : http://uk.farnell.com/jsp/search/productdetail.jsp?sku=2355377. I don't currently have (Despite having,many others!) a compatible board to test Zinc on.
regards Al
On Mon, Jul 14, 2014 at 12:59 AM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Have you had a chance to try it out yet? On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I
assume just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko < errordeveloper@gmail.com> wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level
language
applications on micros.
Sorry for the drive-by reply. :-)
> In the past few week I have got slightly involved with one project
that
> some of you might appreciate. I suppose that some of you Amy have
heard
> of a recently developed Rust programming language by Mozilla
foundation.
> It's primarily aims are to reduce safety critical errors at compiler > level and provide simple abstractions to the programmer normally
seen in
> higher level languages, such as Ruby and Python, yet being a systems > language that may potentially be used for an OS implementation
instead
> of aging suspects. > > I do find Rust a pretty amazing language, and indeed, building on
years
> of compiler practice, it has the real potential of becoming the
next big
> affair of many embedded systems engineers. It doesn't, however, > introduce a big overhead in code execution. > > The particular project that I have spent some time with is titled
Zinc.
> It aims to implement an RTOS-like system that is capable of running
on
> bare-metal microcontroller chips. Please check it out and drop any > feedback to myself or as a question on the mailing list. > > http://zinc.rs > http://rust-lang.org > > -- > Ilya > > > > _______________________________________________ > oshug mailing list > oshug@oshug.org > http://oshug.org/cgi-bin/mailman/listinfo/oshug >
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
There will be 2nd Rust meetup in London, if anyone wants to join :)
On 14 July 2014 15:21, Alan Wood folknology@gmail.com wrote:
Excellent news
On Mon, Jul 14, 2014 at 1:26 PM, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
We have fixed the build for stm32f4 last night actually. It's not using platform tree macro yet, but compiles and should work.
On 14 Jul 2014 12:52, "Alan Wood" folknology@gmail.com wrote:
I haven't tried yet due to time constraints, I will probably wait until you get the STM32 series working with Zinc again as I fancy using this rather attractive ST board : http://uk.farnell.com/jsp/search/productdetail.jsp?sku=2355377. I don't currently have (Despite having,many others!) a compatible board to test Zinc on.
regards Al
On Mon, Jul 14, 2014 at 12:59 AM, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
Have you had a chance to try it out yet?
On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I
assume just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
Hi Andy,
Rust is a compiled language, it's compiler is LLVM-based. One can either use llc or GNU ld to produce runable machine code.
Zinc comes with minimal run-time support libraries, which is somewhat smaller then Rust's standrad runtime. It should perform as good as C.
Currently only ARMv7-M chips are supported, no AVR or MSP430 yet...
Zinc's aim is to pove the concept that most MCU code can be done in Rust, with a tiny bit of assembly required right now... Supposedly that will go away soon too, it's just a workaround for multitasking at the very moment, until the Rust compiler is fixed.
Cheers,
Ilya
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote: > Hi, > > How does it compare to FORTH or embedded Lisps? > Some of them are quite performant and well suited to high level > language > applications on micros. > > > Sorry for the drive-by reply. :-) > > >> In the past few week I have got slightly involved with one project >> that >> some of you might appreciate. I suppose that some of you Amy have >> heard >> of a recently developed Rust programming language by Mozilla >> foundation. >> It's primarily aims are to reduce safety critical errors at >> compiler >> level and provide simple abstractions to the programmer normally >> seen in >> higher level languages, such as Ruby and Python, yet being a >> systems >> language that may potentially be used for an OS implementation >> instead >> of aging suspects. >> >> I do find Rust a pretty amazing language, and indeed, building on >> years >> of compiler practice, it has the real potential of becoming the >> next big >> affair of many embedded systems engineers. It doesn't, however, >> introduce a big overhead in code execution. >> >> The particular project that I have spent some time with is titled >> Zinc. >> It aims to implement an RTOS-like system that is capable of running >> on >> bare-metal microcontroller chips. Please check it out and drop any >> feedback to myself or as a question on the mailing list. >> >> http://zinc.rs >> http://rust-lang.org >> >> -- >> Ilya >> >> >> >> _______________________________________________ >> oshug mailing list >> oshug@oshug.org >> http://oshug.org/cgi-bin/mailman/listinfo/oshug >> > > > > > > Regards, > @ndy > > -- > andyjpb@ashurst.eu.org > http://www.ashurst.eu.org/ > 0x7EBA75FF > > > _______________________________________________ > oshug mailing list > oshug@oshug.org > http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
http://www.meetup.com/Rust-London-User-Group/
On 21 July 2014 22:40, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
There will be 2nd Rust meetup in London, if anyone wants to join :)
On 14 July 2014 15:21, Alan Wood folknology@gmail.com wrote:
Excellent news
On Mon, Jul 14, 2014 at 1:26 PM, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
We have fixed the build for stm32f4 last night actually. It's not using platform tree macro yet, but compiles and should work.
On 14 Jul 2014 12:52, "Alan Wood" folknology@gmail.com wrote:
I haven't tried yet due to time constraints, I will probably wait until you get the STM32 series working with Zinc again as I fancy using this rather attractive ST board : http://uk.farnell.com/jsp/search/productdetail.jsp?sku=2355377. I don't currently have (Despite having,many others!) a compatible board to test Zinc on.
regards Al
On Mon, Jul 14, 2014 at 12:59 AM, Ilya Dmitrichenko errordeveloper@gmail.com wrote:
Have you had a chance to try it out yet?
On 9 Jul 2014 09:04, "Alan Wood" folknology@gmail.com wrote:
Hi Ilya
I have joined the zinc mailing list, perhaps you can provide some basic getting started text to cover:
- Hardware required (setups you know work currently with Zinc) I
assume just Mbed 17xx or STM32F4 discovery right now 2) Toochain setup for compiling 3) Loading code/debugging target
That will help us with the on-ramp and testing to support your efforts.
Thanks
On Tue, Jul 8, 2014 at 11:58 PM, Ilya Dmitrichenko errordeveloper@gmail.com wrote: > > Hi Andy, > > Rust is a compiled language, it's compiler is LLVM-based. > One can either use llc or GNU ld to produce runable machine code. > > Zinc comes with minimal run-time support libraries, which is somewhat > smaller then Rust's standrad runtime. It should perform as good as C. > > Currently only ARMv7-M chips are supported, no AVR or MSP430 yet... > > Zinc's aim is to pove the concept that most MCU code can be done in > Rust, with a tiny bit of assembly required right now... Supposedly > that > will go away soon too, it's just a workaround for multitasking at the > very > moment, until the Rust compiler is fixed. > > Cheers, > -- > Ilya > > On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote: > > Hi, > > > > How does it compare to FORTH or embedded Lisps? > > Some of them are quite performant and well suited to high level > > language > > applications on micros. > > > > > > Sorry for the drive-by reply. :-) > > > > > >> In the past few week I have got slightly involved with one project > >> that > >> some of you might appreciate. I suppose that some of you Amy have > >> heard > >> of a recently developed Rust programming language by Mozilla > >> foundation. > >> It's primarily aims are to reduce safety critical errors at > >> compiler > >> level and provide simple abstractions to the programmer normally > >> seen in > >> higher level languages, such as Ruby and Python, yet being a > >> systems > >> language that may potentially be used for an OS implementation > >> instead > >> of aging suspects. > >> > >> I do find Rust a pretty amazing language, and indeed, building on > >> years > >> of compiler practice, it has the real potential of becoming the > >> next big > >> affair of many embedded systems engineers. It doesn't, however, > >> introduce a big overhead in code execution. > >> > >> The particular project that I have spent some time with is titled > >> Zinc. > >> It aims to implement an RTOS-like system that is capable of running > >> on > >> bare-metal microcontroller chips. Please check it out and drop any > >> feedback to myself or as a question on the mailing list. > >> > >> http://zinc.rs > >> http://rust-lang.org > >> > >> -- > >> Ilya > >> > >> > >> > >> _______________________________________________ > >> oshug mailing list > >> oshug@oshug.org > >> http://oshug.org/cgi-bin/mailman/listinfo/oshug > >> > > > > > > > > > > > > Regards, > > @ndy > > > > -- > > andyjpb@ashurst.eu.org > > http://www.ashurst.eu.org/ > > 0x7EBA75FF > > > > > > _______________________________________________ > > oshug mailing list > > oshug@oshug.org > > http://oshug.org/cgi-bin/mailman/listinfo/oshug > > _______________________________________________ > oshug mailing list > oshug@oshug.org > http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-- regards Al
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Aside from safety, another promis that Rust makes is zero-cost abstractions, and this had been illustrated to me the other day: https://github.com/hackndev/zinc/issues/91
On 8 July 2014 23:11, Andy Bennett andyjpb@ashurst.eu.org wrote:
Hi,
How does it compare to FORTH or embedded Lisps? Some of them are quite performant and well suited to high level language applications on micros.
Sorry for the drive-by reply. :-)
In the past few week I have got slightly involved with one project that some of you might appreciate. I suppose that some of you Amy have heard of a recently developed Rust programming language by Mozilla foundation. It's primarily aims are to reduce safety critical errors at compiler level and provide simple abstractions to the programmer normally seen in higher level languages, such as Ruby and Python, yet being a systems language that may potentially be used for an OS implementation instead of aging suspects.
I do find Rust a pretty amazing language, and indeed, building on years of compiler practice, it has the real potential of becoming the next big affair of many embedded systems engineers. It doesn't, however, introduce a big overhead in code execution.
The particular project that I have spent some time with is titled Zinc. It aims to implement an RTOS-like system that is capable of running on bare-metal microcontroller chips. Please check it out and drop any feedback to myself or as a question on the mailing list.
http://zinc.rs http://rust-lang.org
-- Ilya
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
Regards, @ndy
-- andyjpb@ashurst.eu.org http://www.ashurst.eu.org/ 0x7EBA75FF
oshug mailing list oshug@oshug.org http://oshug.org/cgi-bin/mailman/listinfo/oshug
-
Alan Wood -
Andy Bennett -
Ilya Dmitrichenko