From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <4B13B144.3030008@domain.hid> Date: Mon, 30 Nov 2009 12:49:24 +0100 From: Jonas Buchli MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Subject: [Xenomai-help] problem with xeno_nucleus.xenomai_gid boot option List-Id: Help regarding installation and common use of Xenomai List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: xenomai@xenomai.org dear all, i am trying to setup a xenomai system to run RT tasks as a non-root user, we are adding the xeno_nucleus.xenomai_gid kernel option, but dmesg gives the following output: --------------------------------------------------------------------- embedded-pc104:> dmesg | grep gid Kernel command line: root=UUID=d6b0719f-bd4b-4420-9a20-8d732c90f153 ro lapic console=ttyS0,115200n8 console=tty xeno_nucleus.xenomai_gid=1002 Unknown boot option `xeno_nucleus.xenomai_gid=1002': ignoring --------------------------------------------------------------------- however, the first trick described here works: http://www.xenomai.org/index.php/Non-root_RT -------------------------------------------------------------- embedded-pc104:> sudo modprobe xeno_nucleus xenomai_gid=1002 -------------------------------------------------------------- any idea what we are missing? thanks & best regards jonas