--- next part --
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL:
<http://xenomai.org/pipermail/xenomai/attachments/20171101/89cb6eb9/attachment.sig>
___
Xenomai mailing list
Xenomai@xenomai.org
https://xenomai.org/mailman/listinfo/xenomai
Hello,
I was noticing that my Xenomai 3.0.5 processes were consuming an
unusually large amount of physical memory space.
It appears that the call to heapobj_pkg_init_private() that occurs in
copperplate_init() is temporarily allocating a private heap of size
mem_pool_size in order to populate a st
Hi,
I am trying to install the COBALT kernel alongside the Ubuntu 14.04 kernel
in a VirtualBox VM and have executed the following script:
./scripts/prepare-kernel.sh --arch=x86_64 --linux=/usr/src/linux-4.4.95
--ipipe=/usr/src/ipipe-core-4.4.43-x86-8.patch
The xenomai code and ipipe patch came f
On 11/01/2017 07:13 PM, Danrae Pray wrote:
> Hi,
>
> I am trying to install the COBALT kernel alongside the Ubuntu 14.04 kernel
> in a VirtualBox VM and have executed the following script:
>
> ./scripts/prepare-kernel.sh --arch=x86_64 --linux=/usr/src/linux-4.4.95
> --ipipe=/usr/src/ipipe-core-4.
On 10/31/2017 12:03 PM, Cédric Perles wrote:
> Hi,
>
>
>
> I’m working on an iMX6 based board with NXP kernel 4.1.15.
>
> I made a Xenomai 3.0.5/ipipe bsp that works well and I also made a
> preempt-rt bsp that works well too.
>
>
>
> However, now I would like to make a Xenomai/ipipe + preem
On 11/01/2017 12:42 PM, Charles Kiorpes wrote:
> Hello,
> I was noticing that my Xenomai 3.0.5 processes were consuming an
> unusually large amount of physical memory space.
>
> It appears that the call to heapobj_pkg_init_private() that occurs in
> copperplate_init() is temporarily allocating a p
On 10/07/2017 03:56 AM, Jackson Jones wrote:
> I noticed that when I call rtdm_safe_copy_from_user() it causes a mode
> switch. I am looking to pass a uint32_t (u32 in kernel space) from
> user-space to a rtdm driver.
>
> Is there a way of doing this that avoids a mode switch. I am doing this in
>
On 11/01/2017 10:14 PM, Philippe Gerum wrote:
> On 10/07/2017 03:56 AM, Jackson Jones wrote:
>> I noticed that when I call rtdm_safe_copy_from_user() it causes a mode
>> switch. I am looking to pass a uint32_t (u32 in kernel space) from
>> user-space to a rtdm driver.
>>
>> Is there a way of doing
yes, I confirmed the page fault, I use this script:
#!/bin/bash
while true
do
cat /proc/xenomai/sched/stat | grep demo
sleep 1
done
exit 0
I am trying to pass an integer from a real-time app to the SPI driver. I am
changing the value of a u32 in the device specific slave. I added an IOC