はてなブックマーク

This tutorial shows how to build a Raspberry PI kernel and install it on the device. As building the kernel on Raspberry PI itself could take several days due to a relatively slow CPU, we will be using an additional Linux machine to build it. Raspberry PI kernel is stored in a Git repository and requires installing a Git client to fetch the files. Install the client on your build machine. E.g. on

This tutorial shows how to prepare your Raspberry PI board for debugging with JTAG (we have tested this with Raspberry Pi 1, 2, 3 and 4). Using JTAG will allow debugging the Linux kernel using hardware like Segger J-Link. As Raspberry PI board does not have a connector with a normal JTAG layout, preparing the board for JTAG debugging involves finding the correct pins and wiring them in the correct

This tutorial shows how to build the Linux kernel, add a small modification to it and debug the new kernel using Visual Studio with VisualKernel. We will use a Kubuntu machine to build the stock kernel provided by the distribution and then modify it so that it shows how much time has elapsed since loading of each kernel module. Before we begin modifying the kernel we should create a Visual Studio

VisualDDK Develop/debug Windows drivers directly from Visual Studio! Overview VisualDDK is a Visual Studio extension that allows developing and debugging Windows kernel-mode drivers.Here are the main highlights: Provides a wizard for creating driver projects Allows debugging drivers directly from Visual Studio just like the user-mode applications Maps error messages and enables IntelliSense Automa