Re: rtems-tftp server not working with iPXE.

On 7/9/20 4:06 pm, Karel Gardas wrote: > On 9/7/20 2:34 AM, Chris Johns wrote: >> On 7/9/20 8:29 am, Chris Johns wrote: >>> >>> Hmm looks like the socket returns a string in Python 2 and bytes in Python >>> 3. I >>> will need to play around to find a suitable solution for this. >>> >> >> Fixed on

Re: rtems-tftp server not working with iPXE.

On 9/7/20 2:34 AM, Chris Johns wrote: > On 7/9/20 8:29 am, Chris Johns wrote: >> >> Hmm looks like the socket returns a string in Python 2 and bytes in Python >> 3. I >> will need to play around to find a suitable solution for this. >> > > Fixed on master. Please test and let me know how you go.

Re: Using model checking to do test generation for RTEMS

On 4/9/20 7:35 pm, Andrew Butterfield wrote: > Dear Chris, > >  thanks for your feedback - much appreciated! > > Responses to your queries inline below. > >> On 3 Sep 2020, at 00:38, Chris Johns > > wrote: >> >> On 1/9/20 2:30 am, Andrew Butterfield wrote: >>> Dear all,

Re: rtems-tftp server not working with iPXE.

On 7/9/20 8:29 am, Chris Johns wrote: > > Hmm looks like the socket returns a string in Python 2 and bytes in Python 3. > I > will need to play around to find a suitable solution for this. > Fixed on master. Please test and let me know how you go. Thanks Chris _

Re: rtems-tftp server not working with iPXE.

On 7/9/20 8:14 am, Karel Gardas wrote: > On 9/7/20 12:07 AM, Chris Johns wrote: >> On 7/9/20 5:28 am, Karel Gardas wrote: >>> >>> Hi, >>> >>> I'm using latest rtems-tools, my HEAD is on >>> eb3608133b41b9cb7b4dd55cb15d77691d2300c6. >>> >>> I'm trying to use rtems-tftp-server to serve 5.1 pc686 BSP'

Re: RTEMS 5.1: RSB --with-rtems-bspopts is not working as described.

On 9/7/20 12:09 AM, Chris Johns wrote: > What you are doing looks fine. Could you please raise a ticket for the 5.2 > milestone reporting this [1] ? > It's reported as #4071 ___ users mailing list users@rtems.org http://lists.rtems.org/mailman/listinfo/

Re: rtems-tftp server not working with iPXE.

On 9/7/20 12:07 AM, Chris Johns wrote: > On 7/9/20 5:28 am, Karel Gardas wrote: >> >> Hi, >> >> I'm using latest rtems-tools, my HEAD is on >> eb3608133b41b9cb7b4dd55cb15d77691d2300c6. >> >> I'm trying to use rtems-tftp-server to serve 5.1 pc686 BSP's tests to >> the target hardware. On target hard

Re: RTEMS 5.1: RSB --with-rtems-bspopts is not working as described.

On 7/9/20 7:34 am, Karel Gardas wrote: > Hi, > > while playing with pc383 BSP on RTEMS 5.1 release I'm trying to set > various BSP's compile time options using RSB and it does not work. > > E.g. command: > > ../source-builder/sb-set-builder > --prefix=$HOME/sfw/rtems/5.1-smp2-vga80x50-key-to-res

Re: rtems-tftp server not working with iPXE.

On 7/9/20 5:28 am, Karel Gardas wrote: > > Hi, > > I'm using latest rtems-tools, my HEAD is on > eb3608133b41b9cb7b4dd55cb15d77691d2300c6. > > I'm trying to use rtems-tftp-server to serve 5.1 pc686 BSP's tests to > the target hardware. On target hardware side I'm using fairly recent > iPXE code

RTEMS 5.1: RSB --with-rtems-bspopts is not working as described.

Hi, while playing with pc383 BSP on RTEMS 5.1 release I'm trying to set various BSP's compile time options using RSB and it does not work. E.g. command: ../source-builder/sb-set-builder --prefix=$HOME/sfw/rtems/5.1-smp2-vga80x50-key-to-reset 5/bsps/pc --with-rtems-tests --with-rtems-smp --with-r

rtems-tftp server not working with iPXE.

Hi, I'm using latest rtems-tools, my HEAD is on eb3608133b41b9cb7b4dd55cb15d77691d2300c6. I'm trying to use rtems-tftp-server to serve 5.1 pc686 BSP's tests to the target hardware. On target hardware side I'm using fairly recent iPXE code base (ISO downloaded last month) booting from USB stick