George117/rPi_Xenomai

Issues

• grub config

  #13 opened 10 months ago by George117
  1

• nvidia graphics

  #17 opened 8 months ago by George117
  0

• remove kernel

  #16 opened 8 months ago by George117
  0

• linux deb package

  #12 opened a year ago by George117
  0

• 6.8

  #15 opened 8 months ago by George117
  0

• atheros

  #14 opened 10 months ago by George117
  0

• create disk clone

  #9 opened a year ago by George117
  0

• add lib

  #10 opened a year ago by George117
  1

• share vm

  #11 opened a year ago by George117
  0

• Local package freeze

  #8 opened 2 years ago by George117
  1

• Chapter 0: A new beginning - Prerequisites

  #3 opened 2 years ago by George117
  0

• Chapter 1: What about dependencies?

  #4 opened 2 years ago by George117
  0

• Chapter 2: A manual journey - patch the kernel with Cobalt

  #5 opened 2 years ago by George117
  0

• Chapter 3: Are we there yet? Install xenomai on rPi

  #6 opened 2 years ago by George117
  0

• vDSO: gettime not found

  #7 opened 2 years ago by George117
  1

• [WIP]How to patch Linux Kernel 5.15.51 with Xenomai

  #2 opened 2 years ago by George117
  0

• How To configure and compile rpi kernel

  #1 opened 2 years ago by George117
  4