add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
6
7
8
9
SERIAL 1 115200
CONSOLE 0
 
DEFAULT linux
 
LABEL linux
  SAY Now booting the kernel from SYSLINUX...
  LINUX /boot/bzImage
  APPEND console=ttyS1,115200n8 root=/dev/sda1 rootfstype=ext4 rw