anchor.diff:  # cat shell-init
   --------------------------
   
  -In the case of the Raspberry Pi BSP, it is formatting a RAM disk with the RTEMS file system, then mounting the disk on /ram.
  +In the case of the Raspberry Pi BSP, it formats a 64 Megabyte RAM disk with the RTEMS file system, then mounts the disk on /ram.
   
   
  +
  
positive.code: (gdb) run
  -------------------------------------------------
  
  .Raspberry Pi
  ------------------------------------------------
  $ make    # build the image
  
negative.code: How to run the RKI image
  ------------------------
  
  Here is how to run the rki program on the SPARC/sis simulator:
  
  .SPARC/sis
  -------------------------------------------------
  