Am Sonntag, 2. August 2015, 12:49:21 schrieb Joel Sherrill:
[...]
> >Quick question: How do I build the tests?
> >The configure output says "--enable-tests enable tests
> >(default:samples)"
> >And looking at enable-tests.m4 it seems other options are yes and no,
> >so the ada-tests will b
Hi,
So on uniprocessor can we assume that a thread calling
_CORE_mutex_Seize_body or _CORE_mutex_Surrender never gets preempted or
interleaved as if it holds a global lock. Whcih means that we can create a
JPF model for same using global lock.
Thanks,
Saurabh Gadia
__
On Wed, Aug 5, 2015 at 1:47 AM, Gedare Bloom wrote:
> On Tue, Aug 4, 2015 at 2:18 PM, Rohini Kulkarni
> wrote:
> >
> >
> > On Tue, Jul 28, 2015 at 5:51 AM, Pavel Pisa
> wrote:
> >>
> >> Hello Rohini and Gedare,
> >>
> >> On Friday 24 of July 2015 15:33:03 Gedare Bloom wrote:
> >> > What are the
On 5 Aug 2015 01:47, "Gedare Bloom" wrote:
>
> On Tue, Aug 4, 2015 at 2:18 PM, Rohini Kulkarni
wrote:
> >
> >
> > On Tue, Jul 28, 2015 at 5:51 AM, Pavel Pisa
wrote:
> >>
> >> Hello Rohini and Gedare,
> >>
> >> On Friday 24 of July 2015 15:33:03 Gedare Bloom wrote:
> >> > What are the values of b
On Tue, Aug 4, 2015 at 2:18 PM, Rohini Kulkarni wrote:
>
>
> On Tue, Jul 28, 2015 at 5:51 AM, Pavel Pisa wrote:
>>
>> Hello Rohini and Gedare,
>>
>> On Friday 24 of July 2015 15:33:03 Gedare Bloom wrote:
>> > What are the values of bsp_section_bss_begin, and bsp_section_bss_size?
>> >
>> > Appare
On Tue, Jul 28, 2015 at 5:51 AM, Pavel Pisa wrote:
> Hello Rohini and Gedare,
>
> On Friday 24 of July 2015 15:33:03 Gedare Bloom wrote:
> > What are the values of bsp_section_bss_begin, and bsp_section_bss_size?
> >
> > Apparently, the memset is trying to write into the .text (code)
> > section,
From a5ecb908c39ba1b84f638476c426b2770c32b52e Mon Sep 17 00:00:00 2001
From: hermann
Date: Tue, 4 Aug 2015 12:33:10 +0200
Subject: [PATCH 1/2] added 'rtems-cpukit' parameter to replace hardcoded paths
in symbolSets.config file
---
tester/covoar/DesiredSymbols.cc | 9 +++--
1 file changed,
From 4e2d9310b835f605fd8997a6c30611553026 Mon Sep 17 00:00:00 2001
From: hermann
Date: Tue, 4 Aug 2015 17:16:00 +0200
Subject: [PATCH 2/2] changes such that when executing rtems-test the path to
the test cases does not have to be absolute anymore
---
tester/rt/coverage.py | 10 +-
Can you file a ticket and refer/close it with the commit message? What
versions should this be applied to?
On Mon, Aug 3, 2015 at 9:51 PM, Nick Withers wrote:
> Hi all,
>
> The attached patch teaches the NFS client to respect the 2^32 - 1 B
> NFSv2 file size limit.
>
> Without this patch accesses
On 8/4/2015 9:28 AM, Hermann Felbinger wrote:
Joel Sherrill mailto:joel.sherr...@oarcorp.com>>
schrieb am Di., 4. Aug. 2015 um 16:06 Uhr:
On 8/4/2015 7:52 AM, Hermann Felbinger wrote:
> Dear all!
>
> I'm currently working on a coverage report generator for RTEMS.
>
Joel Sherrill schrieb am Di., 4. Aug. 2015 um
16:06 Uhr:
>
>
> On 8/4/2015 7:52 AM, Hermann Felbinger wrote:
> > Dear all!
> >
> > I'm currently working on a coverage report generator for RTEMS.
> > In the current version a user has to set the absolute paths to the
> libraries, which are analyzed
On 8/4/2015 7:52 AM, Hermann Felbinger wrote:
Dear all!
I'm currently working on a coverage report generator for RTEMS.
In the current version a user has to set the absolute paths to the libraries,
which are analyzed for coverage, in a config file, e.g., see [1].
A detailed explanation how t
Dear all!
I'm currently working on a coverage report generator for RTEMS.
In the current version a user has to set the absolute paths to the
libraries, which are analyzed for coverage, in a config file, e.g., see [1].
A detailed explanation how to execute the test cases and how to invoke the
gene
13 matches
Mail list logo