For the complete documentation index, see llms.txt. This page is also available as Markdown.

Developer Setup

Host PC Requirements

A minimum hardware requirement for the host PC is as follows:

  • modern PC hardware (e.g. younger than Intel Core 4th generation)

  • HDD size minimum 80GB

  • RAM size of minimum 8GB

  • Native Linux machine

  • Windows PC with Linux-VM (VirtualBox)

In case of Linux, a Debian based distribution is required because of the install package management system. Recommendation is to use Linux Mint (no preference in regards to download variant Cinnamon, Mate or XFCE).

Toolchain Setup

  • Install toolchain (compiler, debugger, ...)

  • Packaging Tool (packman)

System Development Kit

  • Install SDK

Integration with IDE

Suggested IDE is Visual Studio Code, which can be obtained by package manager inside the Linux distribution or directly by downloading installer packages from the website. This IDE is very customizable to your needs and thus powerful to fit your workflow.

It's recommended to install the "clangd" extension from the extensions panel (sidebar icon) inside Visual Studio Code.

Configure Project Compilation

To get a nice integration of the make build system, it's recommended to install bear from your Linux distributions package manager. This tool parses the compiler output and generates compilation database for clangd tooling.

Inside Visual Studio Code you can define custom tasks to be executed on demand, like "make vos3-release" or "make clean". So-called "problemMatchers" can be configured to parse the task output. This can for example be used to jump directly to compilation errors. To run a task, simply hit F1 key, type in "run task" and hit enter key. You should now see a list of your configured tasks. Select the desired task and confirm with enter key.

To do that, create a file .vscode/tasks.json inside your project folder. Following file is an example:

tasks.json

Configure Project Debugging

You can configure to use Visual Studio Code directly for remote debugging on the terminal. This configuration is done in a configuration file called .vscode/launch.json. Important part of this configuration is the parameter miDebuggerServerAddress. This is where you need to configure the remote IP address of your running gdbserver on the terminal.

Following file is an example to debug binary vos3demo on remote host 192.168.0.2 at running gdbserver port 22222:

launch.json Expand source

Other Tools

Tool

Purpose

Source

mxdownloader

Downloader tool for Netloader installation

Verifone

packman

package creation and simulation signing

Verifone

Compiler suite

VOS3 pre-built compiler toolchain

Verifone

Production signing portal

All signing will be done through signing portals

Verifone

Last updated

Was this helpful?