Re: RTEMS qualification and code annotations

On 12/9/19 2:45 am, Joel Sherrill wrote: > On Wed, Sep 11, 2019 at 7:59 AM Andrew Butterfield > wrote: >>> - Upstream Project not dead >> >> Frama-C is still actively maintained and upgraded. >> >>> - Wide Host Support >>> - On other cases, have accepted that not all hosts can run the

Re: RTEMS qualification and code annotations

On Wed, Sep 11, 2019 at 7:59 AM Andrew Butterfield wrote: > > Hi Joel, > > thanks for a very detailed and comprehensive response. > > Some of the issues you raise here are very high level, > for the consortium and community to discuss/agree at a high level. > > For now I will just focus on the

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

On Wed, 11 Sep 2019 at 15:12, Hesham Almatary wrote: > > On Wed, 11 Sep 2019 at 14:07, Pragnesh Patel > wrote: > > > > Fredom E310 Arty has a support for FDT but right now, u-boot (or any > > bootloader) will not copy FDT address into CPU register (a1 for RISCV) > > instead we have given FDT

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

On Wed, 11 Sep 2019 at 14:07, Pragnesh Patel wrote: > > Fredom E310 Arty has a support for FDT but right now, u-boot (or any > bootloader) will not copy FDT address into CPU register (a1 for RISCV) > instead we have given FDT address manually as shown below: > On FPGA/hardware, a bootrom (part of

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

On 11/09/2019 15:07, Pragnesh Patel wrote: Fredom E310 Arty has a support for FDT but right now, u-boot (or any bootloader) will not copy FDT address into CPU register (a1 for RISCV) instead we have given FDT address manually as shown below: Qemu does this an I guess U-Boot does it also. How

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

Fredom E310 Arty has a support for FDT but right now, u-boot (or any bootloader) will not copy FDT address into CPU register (a1 for RISCV) instead we have given FDT address manually as shown below: bsps/riscv/shared/start/start.S #ifdef BSP_START_COPY_FDT_FROM_U_BOOT + LADDR a1,

Re: RTEMS qualification and code annotations

Hi Joel, thanks for a very detailed and comprehensive response. Some of the issues you raise here are very high level, for the consortium and community to discuss/agree at a high level. For now I will just focus on the issue of annotations and the kinds of tools that might be involved. I

Re: [PATCH] Add lvgl_hello: Sample Hello world app using littleVGL and libbsd

On 11/09/2019 10:48, Vijay Kumar Banerjee wrote: > > > > On Thu, Sep 5, 2019 at 3:08 PM Christian Mauderer > > wrote: > > Sorry for the late reply. This mail slipped my attention. > > On 03/09/2019 08:22, Chris Johns wrote: > > On

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

On 11/09/2019 10:43, Pragnesh Patel wrote: Ok understood. If i will add Freedom E310 related code in bsp/riscv/riscv directory then there are some code changes related to "console, btimer and other minor things" so can i add this changes under new #define let's say #define

Re: [PATCH] Add lvgl_hello: Sample Hello world app using littleVGL and libbsd

On Thu, Sep 5, 2019 at 3:08 PM Christian Mauderer < christian.maude...@embedded-brains.de> wrote: > Sorry for the late reply. This mail slipped my attention. > > On 03/09/2019 08:22, Chris Johns wrote: > > On 3/9/19 3:30 pm, Christian Mauderer wrote: > >> On 03/09/2019 01:46, Chris Johns wrote: >

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

Ok understood. If i will add Freedom E310 related code in bsp/riscv/riscv directory then there are some code changes related to "console, btimer and other minor things" so can i add this changes under new #define let's say #define RISCV_ENABLE_FRDME310_SUPPORT ? I am planning to add this #define

Re: [PATCH] update rtems_waf

ping :) On Tue, Sep 3, 2019 at 7:04 PM Vijay Kumar Banerjee < vijaykumar9...@gmail.com> wrote: > --- > file_io/crc/wscript| 6 +++--- > filesystem/fat_ramdisk/wscript | 6 +++--- > rtems_waf | 2 +- > 3 files changed, 7 insertions(+), 7 deletions(-) > > diff

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

On 11/09/2019 09:27, Pragnesh Patel wrote: Thanks for the clarification. i am also agree with your comments but let's say in future, we want to add I2C and SPI for Freedom E310 then what's your suggestion? Future I2C and SPI drivers should be added to:

Re: [RTEMS][PATCH v2 0/2] riscv: add freedom E310 Arty A7

Hello Hesham, Thanks for the clarification. i am also agree with your comments but let's say in future, we want to add I2C and SPI for Freedom E310 then what's your suggestion? - Pragnesh On Tue, Sep 10, 2019 at 4:13 PM Hesham Almatary wrote: > > Hi Pragnesh, > > Thanks for the v2 update. I