VxWorks 7 SDK for Raspberry Pi 3

Introduction

The VxWorks 7 SDK is a development environment dedicated to VxWorks application developers which includes the following features:

standard cross-compilation tools based on clang/LLVM which can be used to build both downloadable kernel modules (DKM) and RTP (Real Time Process) applications
simplified build management: makefile, cmake, roll-your own
target / architecture specific: includes a generic VxWorks kernel which is bootable on the target platform
header files and libraries for application development
Wind River Debugger (wrdbg)
documentation

This guide helps you get up and running with developing applications for platforms running VxWorks. You can use it for creating new applications, or just exploration of VxWorks capabilities.

Setting up the development environment

You should start by downloading a VxWorks SDK for your platform of choice from https://labs.windriver.com and unpacking it. Refer to the documentation in docs in the unpacked SDK for additional information on creating and debugging applications.

OS requirements

The SDKs are meant to run on Linux hosts. Some of the examples in this document are specific to Debian derivatives.

Prerequisite(s)

Host dependencies

On Debian derivatives, the following packages need to be installed:

$ sudo apt install build-essential libc6:i386

Having an FTP server installed on your development host will make application deployment easier and allow you to access the host file system from a VxWorks target.

To accommodate for the varying runtime configurations of the VxWorks kernel images included in the SDKs, you may be interested in using an FTP server option based on pyftpdlib.

Install pyftpdlib:

$ sudo apt install python-pip
$ sudo pip install pyftpdlib

# Booting VxWorks on Raspberry Pi 3B / 3B+

To create the SD card, download the firmware from:

https://github.com/raspberrypi/firmware/archive/1.20200212.tar.gz

E.g. wget https://github.com/raspberrypi/firmware/archive/1.20200212.tar.gz

Format an SD card as a FAT32 file system and copy the contents of the "boot" directory from the downloaded firmware to the SD card.
Copy the files from /vxsdk/sdcard/ to the SD card.

Compile a u-boot binary for Raspberry Pi 3 and copy it to the SD card

E.g. on a Ubuntu/Debian host

$ sudo apt install gcc-aarch64-linux-gnu
$ git clone https://gitlab.denx.de/u-boot/u-boot.git  
$ cd u-boot  
$ CROSS_COMPILE=aarch64-linux-gnu- make rpi_3_b_plus_defconfig  
$ CROSS_COMPILE=aarch64-linux-gnu- make

Copy u-boot.bin to the SD card as kernel8.img.

Create a vx directory in the folder where you have copied the files at step 2.

E.g.

mkdir /mnt/boot/vx
Copy the VxWorks kernel image /vxsdk/bsps/rpi_3_0_1_1_2/uVxWorks to the vx folder
Connect a USB to serial cable to the Raspberry Pi
On the Raspberry Pi 3 Model, GPIOs 14 and 15 are used as UART transmit and receive pins (Mini UART).

Connect the USB to serial cable adapter between the Raspberry Pi and your PC. Then start a serial communication program (e.g. minicom) and configure the serial connnection parameters as follows:

Bps/Par/Bits       : 115200 8N1
Hardware Flow Control : No
Software Flow Control : No

After plugging in the SD card in your Raspberry Pi 3B+ and powering it up, the VxWorks kernel previously copied onto the SD card will boot automatically.

U-Boot 2018.11 (Jun 12 2019 - 14:03:07 +0800)

DRAM:  948 MiB
RPI 3 Model B+ (0xa020d3)
MMC:   mmc@7e202000: 0, sdhci@7e300000: 1
Loading Environment from FAT... OK
In:    serial
Out:   vidconsole
Err:   vidconsole
Net:   No ethernet found.
starting USB...
USB0:   scanning bus 0 for devices... 4 USB Device(s) found
       scanning usb for storage devices... 0 Storage Device(s) found
Hit any key to stop autoboot:  0 
6140208 bytes read in 256 ms (22.9 MiB/s)
## Booting kernel from Legacy Image at 08000000 ...
   Image Name:   vxworks
   Image Type:   AArch64 VxWorks Kernel Image (uncompressed)
   Data Size:    6140144 Bytes = 5.9 MiB
   Load Address: 00100000
   Entry Point:  00100000
   Verifying Checksum ... OK
   Loading Kernel Image ... OK
## Starting vxWorks at 0x00100000, device tree at 0x00000000 ...

Target Name: vxTarget 
 
 _________            _________
 \77777777\          /77777777/
  \77777777\        /77777777/
   \77777777\      /77777777/
    \77777777\    /77777777/
     \77777777\   \7777777/
      \77777777\   \77777/              VxWorks 7 SMP 64-bit
       \77777777\   \777/
        \77777777\   \7/     Release version: SR0660
         \77777777\   -      Build date: Feb  3 2021 14:26:49
          \77777777\
           \7777777/         Copyright Wind River Systems, Inc.
            \77777/   -                 1984-2021
             \777/   /7\
              \7/   /777\
               -   -------

                   Board: Raspberry Pi 3 Model B+ - ARMv8
               CPU Count: 4
          OS Memory Size: ~947MB
        ED&R Policy Mode: Deployed
     Debug Agent: Started (always)
         Stop Mode Agent: Not started
              BSP Status: *** UNSUPPORTED ***

 Adding 12036 symbols for standalone.

-> 
Find USB-Ethernet device: Lan78xx USB Ethernet
Waiting for IP attach...
Attached TCP/IP interface to usb2End unit 0
Connecting to the Network...Done.

Network configuration:
ifname usb2End0 inet 128.224.124.149 mac 00:11:22:33:44:55

This device is also accessible over telnet!
        E.g. telnet 128.224.124.143

->

IMPORTANT: If you are using a Raspberry Pi 3B you will need to use a USB-to-Ethernet dongle to enable networking.

For information on the USB networking devices, refer to the following sources:

Asix USB networking chipset series (Asix88772, Asix88172, etc.)
http://www.asix.com.tw/index.php
Dm960x USB networking chipset series (Dm9601, etc.)
http://www.davicom.com.tw
Pegasus USB networking chipset series (ADM8511, ADM8515/L, ADM8513)
http://www.infineon.com

Application development

Start by opening a Linux terminal window and going to the location of your unpacked VxWorks SDK.

Source the SDK development environment before using the SDK.

$ source sdkenv.sh

Developing applications from the command line

The VxWorks compiler driver (wr-cc/wr-c++) utility lets you invoke VxWorks toolchains to compile your real time process (RTP) application from command line. The SDK development environment includes a set of environment variables (CC, CXX, CPP, etc) which match the various compiler driver utilities.

Procedure:

Create a C source file foo.c:

#include <stdio.h>

int main(void)
    {
    printf("hello, world!\n");
    return 0;
    }

Compile the source file foo.c to create a Real Time Process application.

$ wr-cc -rtp foo.c -static -o foo.vxe

$ $CC -rtp foo.c -static -o foo.vxe

Alternatively, you can also create a Makefile and then call make to compile the source file.

all:
    $CC -rtp foo.c -static -o foo.vxe

$ make

Developing applications using CMake

By default, a generated VxWorks SDK includes CMake. When the application developer sources the SDK environment, they will automatically have access to CMake. There is no need to download, install and configure CMake separately. With VxWorks CMake, you can build existing CMake examples that are included in the generated SDK, or you can create your own projects.

CMake examples can be found in the directories /examples/rtp/hello_cmake_rtp and /examples/dkm/hello_cmake_dkm

Procedure: 1. Create a project directory, called my_project.

$ mkdir my_project

Create the CMakeLists.txt file in the project folder.
To build your project, run the following command:

$ cmake -D CMAKE_TOOLCHAIN_FILE=${WIND_SDK_HOME}/vxsdk/sysroot/mk/rtp.toolchain.cmake .

Note: RTP is used in the example. If you would like to build a DKM project instead, change the toolchain name to dkm.toolchain.cmake.

Running applications

Start an FTP server on port 21 with user "target" and password "vxtarget" and FTP root in the current user's home.

$ sudo python -m pyftpdlib -p 21 -u target -P vxTarget -d $HOME &

Make a note of the IP address of your development host.

If your Raspberry Pi has successfully completed DHCP negotiation, it will be able to access the host file system via a VxWorks remote file device.

In the vxWorks shell run the following command to create a device named "wrs".

-> netDevCreate ("/wrs", "192.168.10.191", 1)

Note: Replace 192.168.10.191 with the IP address of your development host (i.e. the one on which you're running the FTP server).

Switch to the cmd shell and navigate to the location of your application, now available on the target via the remote file device created previously.

E.g.

-> cmd
[vxWorks *]# cd /wrs
[vxWorks *]# pwd
/wrs/
[vxWorks *]# ls foo.c
foo.c
[vxWorks *]# more foo.c
#include <stdio.h>

int main(int argc, char **argv) {
    printf("Hello World\n");
    return 0;
}
[vxWorks *]#
[vxWorks *]# foo.vxe
Launching process 'foo.vxe' ...
Process 'foo.vxe' (process Id = 0xffff8000005e85d0) launched.
Hello world
[vxWorks *]#