Alternatives and similar repositories for seals:

Users that are interested in seals are comparing it to the libraries listed below

• PacktPublishing / Linux-Kernel-Programming-Part-2
  Linux Kernel Programming (Part 2), published by Packt
  ☆127Updated 2 months ago
• PacktPublishing / Linux-Kernel-Debugging
  Linux Kernel Debugging, published by Packt
  ☆162Updated 9 months ago
• kaiwan / procmap
  Visualization of the COMPLETE MEMORY MAP of any given process
  ☆150Updated 2 months ago
• PacktPublishing / Linux-Device-Driver-Development-Second-Edition
  Linux Device Driver Development - Second Edition, published by Packt
  ☆187Updated last year
• Embetronicx / Tutorials
  This Directory contains the tutorials posted in www.embetronicx.com
  ☆232Updated 2 years ago
• Techogenius / Linux-device-driver-code
  Linux device driver code base
  ☆35Updated 3 years ago
• jinb-park / rcu_example
  rcu example of linux kernel. tag : rcu, list rcu, linux kernel rcu, kernel rcu, read copy update, rcu example
  ☆34Updated 2 years ago
• rostedt / libccli
  This is a simple CLI interface helper library for C.
  ☆46Updated last year
• freedomtan / aarch64-bare-metal-qemu
  aarch64 bare metal test on qemu
  ☆98Updated 10 years ago
• siemens / jailhouse-images
  Jailhouse demonstration and testing images
  ☆59Updated last year
• ARM-software / SCP-firmware
  This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…
  ☆242Updated 7 months ago
• NienfengYao / armv8-bare-metal
  ☆103Updated 6 years ago
• kernelci / kernelci-core
  Core KernelCI tools
  ☆113Updated this week
• d0u9 / Linux-Device-Driver
  Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…
  ☆468Updated 2 weeks ago
• dgibson / dtc
  Device Tree Compiler
  ☆261Updated last month
• ARM-software / ebbr
  Embedded Base Boot Requirements Specification
  ☆119Updated 3 weeks ago
• wkz / mdio-tools
  Low-level debug tools for MDIO devices.
  ☆76Updated 2 weeks ago
• jserv / armv8-hello
  Hello World for bare metal ARMv8 using QEMU
  ☆56Updated 8 years ago
• WolfgangSt / libelf
  libelf
  ☆75Updated 7 years ago
• dwks / pagemap
  Userspace tool to map virtual page addresses to physical addresses.
  ☆182Updated 5 years ago
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆30Updated 2 years ago
• hoodaajay99 / linux-kernel-device-drivers
  Linux Kernel and Device Drivers
  ☆28Updated 4 years ago
• ALIBERA / linux_book_2nd_edition
  linux driver development for embedded processors 2nd edition
  ☆165Updated last year
• sysprogs / kgdboe
  A network interface for GDB for Linux Kernel
  ☆66Updated last year
• WangNan0 / kbuild-standalone
  Standalone kconfig and kbuild
  ☆58Updated last month
• masahir0y / kbuild_skeleton
  A template with Linux kernel like build system.
  ☆105Updated 11 years ago
• makedumpfile / makedumpfile
  Make Linux crash dump small by filtering and compressing pages
  ☆51Updated 2 months ago
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆91Updated last week
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆71Updated 6 years ago
• ARM-software / arm-enterprise-acs
  ARM Enterprise ACS
  ☆42Updated 2 years ago