Linux Kernel

This section will provide all the details about the Boundary Devices Linux kernel.

Just like most of our source code, it is located on GitHub:

Note that the master branch README should give you all the details about which branch to use (latest and older ones).

The following blog post covers the kernel build:

The next article is only useful if you need to package your kernel for Debian/Ubuntu images.

Please make sure to read our U-Boot section of the wiki which explains what is our 6x_bootscript, how to modify it and how to change the bootargs.

Starting with the device tree, it became very easy to add/remove/modify peripherals:

Yes, most our platforms are supported:

There isn't any post about it yet, but stay tuned!

There are many available techniques to debug the kernel, we generally use very basic options as listed in the below article:

However if you are looking at JTAG debugging, many options are available (like ARM DStream) but we've only tested Segger J-Link probes:

Since we offer many display options to our customers, it became obvious that we needed a custom method to configure the display configuration.

The following article explains how to setup the display for kernel >= 3.14:

Although there are several solutions, we now recommend SWUpdate which is a simple, efficient and secure update framework.

All the accessories available on our shop are supported by the kernel:

For instance, our cameras (MIPI or Parallel) can easily be tested with GStreamer.

Contents