Xenomai를 통해 설치했습니다.
sudo apt-get install xenomai-*
설치했어요
dctrl-tools libxenomai-dev libxenomai1 linux-patch-xenomai xenomai-doc xenomai-runtime.
그런데 확인해 보니 /boot/grub/grub.cfg별 변화가 없는 것 같았습니다.
xenomaiUbuntu 10.04에서 부팅하는 방법은 무엇입니까?
따라가야 하나?데비안 패키지 빌드Xenomai 패치가 적용된 Linux 커널 패키지를 구축하시겠습니까?
하지만 내 커널(2.6.32)보다 최신인 커널 2.6.35를 사용합니다.
감사합니다~
답변1
저는 Xenomai에 대해 아무것도 모르지만, linux-patch-xenomai패키지에 포함된 몇 가지 README파일이 /usr/share/doc/linux-patch-xenomai/도움이 될 수 있습니다. (어쨌든 새로운 패치 커널을 구축하고 있다는 것이 내 이해이므로 지금 어떤 커널을 사용하는지는 중요하지 않습니다.)
답변2
이 페이지에서 자세한 설명을 찾았습니다. 도움이 되길 바랍니다!
http://code.google.com/p/jhu-lcsr-ros-pkg/wiki/UbuntuXenomai