Difference between revisions of "Linux Kernel"
From Boundary Devices Wiki
(No difference)
| |
Latest revision as of 20:44, 21 November 2024
This section will provide all the details about the Boundary Devices Linux kernel.
Where is BD Linux kernel source code?
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).
How to build the Linux kernel manually?
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.
How to change the kernel bootargs?
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.
How to setup a new peripheral?
Starting with the device tree, it became very easy to add/remove/modify peripherals:
Is there mainline kernel support?
Yes, most our platforms are supported:
There isn't any post about it yet, but stay tuned!
How can I debug the kernel?
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:
How can I configure the display?
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:
What update framework can I use?
Although there are several solutions, we now recommend SWUpdate which is a simple, efficient and secure update framework.
What accessory is supported?
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.