xen-devel.lists.xenproject.org archive mirror
 help / color / mirror / Atom feed
* ARINC653
@ 2013-11-28 13:07 Simon Martin
  2013-11-28 13:55 ` ARINC653 Simon Martin
  0 siblings, 1 reply; 10+ messages in thread
From: Simon Martin @ 2013-11-28 13:07 UTC (permalink / raw)
  To: xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 826 bytes --]

Hi all,

I am running on Xen 4.4 with all Nate's ARINC653 patches, and am trying 
to run a PV guest in a cpu pool with a single CPU and the ARINC653 
scheduler. I set up the pools as follows:

xl cpupool-cpu-remove Pool-0 0
xl cpupool-create pv400_cpupool

where pv400_cpupool has the following

name = "pv400"
sched = "arinc653"
cpus = ["0"]
When I start my guest it is loaded, but nothing happens after that. If I 
debug the domain, the I find that PC is stuck at 0, i.e. it has never 
been assigned CPU.

Any ideas on what I'm doing wrong?

--
  _     _  Debian GNU User   Simon Martin
| |   (_)_ __  _   ___  __  Project Manager
| |   | | '_ \| | | \ \/ /  Milliways
| |___| | | | | |_| |>  <   mailto: smartin@milliways.cl
|_____|_|_| |_|\__,_/_/\_\
Si Hoc Legere Scis Nimium Eruditionis Habes

[-- Attachment #1.2: Type: text/html, Size: 2045 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-11-28 13:07 ARINC653 Simon Martin
@ 2013-11-28 13:55 ` Simon Martin
  0 siblings, 0 replies; 10+ messages in thread
From: Simon Martin @ 2013-11-28 13:55 UTC (permalink / raw)
  To: xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 1254 bytes --]

Hi All,

Think I've answered my own question. Have to run a program on dom0 to 
configure scheduler. This looks like the same problem: 
http://www.gossamer-threads.com/lists/xen/users/306701 with Nate's 
answer.

Regards.

------ Original Message ------
From: "Simon Martin" <smartin@milliways.cl>
To: "xen-devel" <xen-devel@lists.xen.org>
Sent: 28/11/2013 10:07:36
Subject: ARINC653

>Hi all,
>
>I am running on Xen 4.4 with all Nate's ARINC653 patches, and am trying 
>to run a PV guest in a cpu pool with a single CPU and the ARINC653 
>scheduler. I set up the pools as follows:
>
>xl cpupool-cpu-remove Pool-0 0
>xl cpupool-create pv400_cpupool
>
>where pv400_cpupool has the following
>
>name = "pv400"
>sched = "arinc653"
>cpus = ["0"]
>When I start my guest it is loaded, but nothing happens after that. If 
>I debug the domain, the I find that PC is stuck at 0, i.e. it has never 
>been assigned CPU.
>
>Any ideas on what I'm doing wrong?
>
>--
>  _     _  Debian GNU User   Simon Martin
>| |   (_)_ __  _   ___  __  Project Manager
>| |   | | '_ \| | | \ \/ /  Milliways
>| |___| | | | | |_| |>  <   mailto: smartin@milliways.cl
>|_____|_|_| |_|\__,_/_/\_\
>Si Hoc Legere Scis Nimium Eruditionis Habes
>

[-- Attachment #1.2: Type: text/html, Size: 3711 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* ARINC653
       [not found] <528A34C9.7010208@dornerworks.com>
@ 2013-12-03 12:07 ` Simon Martin
  2013-12-03 15:32   ` ARINC653 Nate Studer
  0 siblings, 1 reply; 10+ messages in thread
From: Simon Martin @ 2013-12-03 12:07 UTC (permalink / raw)
  To: Robbie VanVossen
  Cc: Andrew Cooper, Dario Faggioli, josh.whitehead, Nate Studer,
	xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 1317 bytes --]

Hi Robbie,

Nate said that I should contact you if I was having problems with the 
scheduler, and unfortunately I have.

As far as I can see I have created a cpupool with 1 CPU running the 
arinc653 scheduler. Here the output from xl.

root@smartin-xen:~# xl cpupool-list
Name               CPUs   Sched     Active   Domain count
Pool-0               3    credit       y          1
pv400                1  arinc653       y          1

However the domU I load into the pv400 cpupool is never scheduled. I 
found a few mails talking about this, and it looks like I need to run a 
program on dom0 to configure the scheduler. I wrote the program and as 
far as I can see it should work, however whatever I do it fails. I tried 
to put a few printk statements in the corresponding arinc653_sched_set 
but I don't see any output in the xl dmesg, or domU log either.

I attach the code I wrote to configure the scheduler. It accepts one 
parameter, the UUID of the dom_handle I need to specify. The mail I 
found wasn't too clear so I test this using the dom0 UUID 
(00000000-0000-0000-0000-000000000000) and with the domU UUID as well. 
Both fail the do_sysctl call in xc_sched_arinc653_schedule_set 
(xc_arinc653.c line 51).

Can you give me some idea of what I'm doing wrong here?

Regards.

[-- Attachment #1.2: Type: text/html, Size: 2624 bytes --]

[-- Attachment #2: arinc653.c --]
[-- Type: text/plain, Size: 3486 bytes --]

/* ********************************************************************
   * Project   :
   * Author    : smartin
   ********************************************************************

    Modifications:
    0.01 29/11/2013 Initial version.
*/

/*---------------------------------------------------------------------
  -- macros (preamble)
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- standard includes
  ---------------------------------------------------------------------*/
#include <stdio.h>
#include <xenctrl.h>
#include <uuid/uuid.h>

/*---------------------------------------------------------------------
  -- project includes (import)
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- project includes (export)
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- macros (postamble)
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- data types
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- function prototypes
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- global variables
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- local variables
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- private functions
  ---------------------------------------------------------------------*/

/*---------------------------------------------------------------------
  -- public functions
  ---------------------------------------------------------------------*/

int main(int argc, char *argv[], char *envp[])
{
    // check for parameters
    if (argc < 2)
    {
        printf("%s <dom uuid>\n", argv[0]);
        return -1;
    }
    printf("scheduling %s\n", argv[1]);

    // get the xen control interface
    xc_interface *xci = xc_interface_open(NULL, NULL, 0);
    if (!xci)
    {
        printf("error opening xen control interface\n");
        return -1;
    }

    /* initialize major frame and number of minor frames */
    struct xen_sysctl_arinc653_schedule sched = {0};
    sched.major_frame = 0;
    sched.num_sched_entries = 1;

    // initialise frames
    int i;
    for (i = 0; i < sched.num_sched_entries; ++i)
    {
        /* identify domain by UUID */
        if (uuid_parse(argv[1], sched.sched_entries[i].dom_handle))
        {
            printf("error parsing uuid %s\n", argv[1]);
            return -1;
        }

        /* must be 0 */
        sched.sched_entries[i].vcpu_id = 0;

        /* runtime in ms */
        sched.sched_entries[i].runtime = 1;

        /* updated major frame time */
        sched.major_frame += sched.sched_entries[i].runtime;
    }

    i = xc_sched_arinc653_schedule_set(xci, &sched);
    if (i)
    {
        printf("error %i setting scheduler data\n", i);
        return -1;
    }

    return 0;
}

[-- Attachment #3: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-03 12:07 ` ARINC653 Simon Martin
@ 2013-12-03 15:32   ` Nate Studer
  2013-12-03 20:19     ` ARINC653 Simon Martin
  0 siblings, 1 reply; 10+ messages in thread
From: Nate Studer @ 2013-12-03 15:32 UTC (permalink / raw)
  To: Simon Martin, Robbie VanVossen
  Cc: Andrew Cooper, Dario Faggioli, josh.whitehead, xen-devel

On 12/3/2013 7:07 AM, Simon Martin wrote:
> Hi Robbie,
>  
> Nate said that I should contact you if I was having problems with the scheduler,
> and unfortunately I have.

I am actually back, so I can field this one.

>  
> As far as I can see I have created a cpupool with 1 CPU running the arinc653
> scheduler. Here the output from xl.
>  
> root@smartin-xen <mailto:root@smartin-xen>:~# xl cpupool-list
> Name               CPUs   Sched     Active   Domain count
> Pool-0               3    credit       y          1
> pv400                1  arinc653       y          1
>  
> However the domU I load into the pv400 cpupool is never scheduled. I found a few
> mails talking about this, and it looks like I need to run a program on dom0 to
> configure the scheduler. I wrote the program and as far as I can see it should
> work, however whatever I do it fails. I tried to put a few printk statements in
> the corresponding arinc653_sched_set but I don't see any output in the xl dmesg,
> or domU log either.
>  
> I attach the code I wrote to configure the scheduler. It accepts one parameter,
> the UUID of the dom_handle I need to specify. The mail I found wasn't too clear
> so I test this using the dom0 UUID (00000000-0000-0000-0000-000000000000) and
> with the domU UUID as well. Both fail the do_sysctl call in
> xc_sched_arinc653_schedule_set (xc_arinc653.c line 51).
>  
> Can you give me some idea of what I'm doing wrong here?

Did you apply the patches I posted to the list a couple weeks ago?  I noticed
that you are calling the xc_sched_arinc653_schedule_set function without a pool
id, so I think the answer is no.

http://lists.xenproject.org/archives/html/xen-devel/2013-11/msg02549.html

Without these patches, you can only load a schedule into Pool-0.

If you just want to wait a little bit, I should be addressing Andrew's comments
soon, in order to get them into unstable.

   Nate

>  
> Regards.
>  

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-03 15:32   ` ARINC653 Nate Studer
@ 2013-12-03 20:19     ` Simon Martin
  2013-12-09 20:23       ` ARINC653 Simon Martin
  0 siblings, 1 reply; 10+ messages in thread
From: Simon Martin @ 2013-12-03 20:19 UTC (permalink / raw)
  To: Nate Studer, Robbie VanVossen
  Cc: Andrew Cooper, Dario Faggioli, josh.whitehead, xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 786 bytes --]

Thanks Nate.

I hope everything went well!

>Did you apply the patches I posted to the list a couple weeks ago? I 
>noticed
>that you are calling the xc_sched_arinc653_schedule_set function 
>without a pool
>id, so I think the answer is no.
>
>http://lists.xenproject.org/archives/html/xen-devel/2013-11/msg02549.html
>
>Without these patches, you can only load a schedule into Pool-0.
>
>If you just want to wait a little bit, I should be addressing Andrew's 
>comments
>soon, in order to get them into unstable.
I didn't apply those patches. I just brought in the patches that were 
committed to git. Sounds like it's better if I wait for you to commit 
your stuff before continuing with this so I'll to onto other bits of the 
system for the moment.

Regards.

[-- Attachment #1.2: Type: text/html, Size: 2199 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-03 20:19     ` ARINC653 Simon Martin
@ 2013-12-09 20:23       ` Simon Martin
  2013-12-09 21:28         ` ARINC653 Dario Faggioli
  0 siblings, 1 reply; 10+ messages in thread
From: Simon Martin @ 2013-12-09 20:23 UTC (permalink / raw)
  To: Nate Studer, Robbie VanVossen
  Cc: Andrew Cooper, Dario Faggioli, josh.whitehead, xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 1520 bytes --]

Hi Nate,

I finally got round to pulling in the latest and greatest patches and 
after a few silly mistakes (RTFM) I now have a working system. As 
mentioned before I have 2 pools:

smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl cpupool-list
Name               CPUs   Sched     Active   Domain count
Pool-0               3    credit       y          1
pv499                1  arinc653       y          1

After loading the domU into the pv499 and running the program that 
configures the arinc scheduler I get this:

smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl list
Name                                        ID   Mem VCPUs      State   
Time(s)
Domain-0                                     0  2967     4     r-----    
  117.2
pv499                                       24    32     1     r-----    
  373.0

So far so good. Now looking at the timings things are not too different 
from when I was using the credit scheduler. Running a single shot timer 
at a period of 250 µs gives me a jitter in the timer handler latency in 
the range [3.5 µs, 45 µs]. This makes it look like the problem in the 
jitter is not the scheduling but the underlying hypervisor. It is going 
off to do things on this CPU which is causing the deadlines not to be 
met.

So unless I am doing something silly it looks like I will have to go to 
RT-Xen to get better timings. For the moment I'm going to leave this and 
go on to getting more of my operating system working.

Regards.

[-- Attachment #1.2: Type: text/html, Size: 5069 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-09 20:23       ` ARINC653 Simon Martin
@ 2013-12-09 21:28         ` Dario Faggioli
  2013-12-09 23:08           ` ARINC653 Simon Martin
  0 siblings, 1 reply; 10+ messages in thread
From: Dario Faggioli @ 2013-12-09 21:28 UTC (permalink / raw)
  To: Simon Martin
  Cc: Andrew Cooper, josh.whitehead, Nate Studer, Robbie VanVossen,
	xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 2363 bytes --]

On lun, 2013-12-09 at 20:23 +0000, Simon Martin wrote:
> smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl cpupool-list
> Name               CPUs   Sched     Active   Domain count
> Pool-0               3    credit       y          1
> pv499                1  arinc653       y          1
>
Ok, which pcpus are in each pool? In theory, it shouldn't matter, but,
you know... :-P
 
> After loading the domU into the pv499 and running the program that
> configures the arinc scheduler I get this:
>  
> smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl list
> Name                                        ID   Mem VCPUs      State
> Time(s)
> Domain-0                                     0  2967     4     r-----
> 117.2
> pv499                                       24    32     1     r-----
> 373.0
>  
> So far so good. Now looking at the timings things are not too
> different from when I was using the credit scheduler. Running a single
> shot timer at a period of 250 µs gives me a jitter in the timer
> handler latency in the range [3.5 µs, 45 µs]. This makes it look like
> the problem in the jitter is not the scheduling but the underlying
> hypervisor. It is going off to do things on this CPU which is causing
> the deadlines not to be met.
>  
> So unless I am doing something silly it looks like I will have to go
> to RT-Xen to get better timings. For the moment I'm going to leave
> this and go on to getting more of my operating system working.
>
Well, RT-Xen is a great project, but it's mostly, if not all, about
scheduling. I mean, all they do is introducing two new schedulers (with
a couple of operational mode in each), and that's it... There is nothing
there being done for reducing latency or jitter.

I think, we'd better off (as soon as, as you said, you have more pieces
in place), trying to figure out what is causing the behavior you're
seeing and workaround/fix/amend it!

It's a busy period, with the 4.4 release, etc., but, as repeatedly said,
I'm up for helping with this, if help is needed! :-P

Regards,
Dario

-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)


[-- Attachment #1.2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-09 21:28         ` ARINC653 Dario Faggioli
@ 2013-12-09 23:08           ` Simon Martin
  2013-12-10  9:36             ` ARINC653 Dario Faggioli
  0 siblings, 1 reply; 10+ messages in thread
From: Simon Martin @ 2013-12-09 23:08 UTC (permalink / raw)
  To: Dario Faggioli
  Cc: Andrew Cooper, josh.whitehead, Nate Studer, Robbie VanVossen,
	xen-devel


[-- Attachment #1.1.1: Type: text/plain, Size: 1419 bytes --]

Thanks Dario,


>>  smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl cpupool-list
>>  Name CPUs Sched Active Domain count
>>  Pool-0 3 credit y 1
>>  pv499 1 arinc653 y 1
>>
>Ok, which pcpus are in each pool? In theory, it shouldn't matter, but,
>you know...
>
Pool-0 has pcpu 1, 2 and 3
pv499 has pcpu 0.

>>  So unless I am doing something silly it looks like I will have to go
>>  to RT-Xen to get better timings. For the moment I'm going to leave
>>  this and go on to getting more of my operating system working.
>>
>Well, RT-Xen is a great project, but it's mostly, if not all, about
>scheduling. I mean, all they do is introducing two new schedulers (with
>a couple of operational mode in each), and that's it... There is 
>nothing
>there being done for reducing latency or jitter.
Thanks for the pointer. As my tests have shown, changing the scheduler 
does not really alter the behaviour.

>
>I think, we'd better off (as soon as, as you said, you have more pieces
>in place), trying to figure out what is causing the behavior you're
>seeing and workaround/fix/amend it!
I agree.

>
>It's a busy period, with the 4.4 release, etc., but, as repeatedly 
>said,
>I'm up for helping with this, if help is needed!
Thanks. This is something that is going to take a while to get sorted so 
I'll definitely be plugging until way after 4.4 is done and dusted.

Regards.

>

[-- Attachment #1.1.2: Type: text/html, Size: 3288 bytes --]

[-- Attachment #1.2: Type: image/png, Size: 680 bytes --]

[-- Attachment #1.3: Type: image/png, Size: 680 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-09 23:08           ` ARINC653 Simon Martin
@ 2013-12-10  9:36             ` Dario Faggioli
  2013-12-10 11:55               ` ARINC653 Simon Martin
  0 siblings, 1 reply; 10+ messages in thread
From: Dario Faggioli @ 2013-12-10  9:36 UTC (permalink / raw)
  To: Simon Martin
  Cc: Andrew Cooper, josh.whitehead, Nate Studer, Robbie VanVossen,
	xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 1498 bytes --]

On lun, 2013-12-09 at 23:08 +0000, Simon Martin wrote:
> Thanks Dario, 
>  
> > >  smartin@smartin-xen:~/projects/trio/xen/pv499$ sudo xl
> > > cpupool-list 
> > >  Name CPUs Sched Active Domain count 
> > >  Pool-0 3 credit y 1 
> > >  pv499 1 arinc653 y 1 
> > >  
> > Ok, which pcpus are in each pool? In theory, it shouldn't matter,
> > but, 
> > you know... :-P
> >   
> Pool-0 has pcpu 1, 2 and 3
> pv499 has pcpu 0.
>
Can you try the opposite? I mean, something like having the 1 pCPU only
pool when you run your domU *not* including pCPU #0?

I can't point the finger to anything specific right now, but, you now,
pCPU #0 is the first being brought up, etc.

Probably, as scheduling does not matter much to you, you can even just
use vCPU affinities/pinning, like having Dom0 pinned to pCPUs 0-2, and
your DomU to pCPU 3.
 
> > It's a busy period, with the 4.4 release, etc., but, as repeatedly
> > said, 
> > I'm up for helping with this, if help is needed! :-P
> Thanks. This is something that is going to take a while to get sorted
> so I'll definitely be plugging until way after 4.4 is done
> and dusted. 
>
Well, in that case I'm sure I'll be able to help a bit. :-)

Regards,
Dario

-- 
<<This happens because I choose it to happen!>> (Raistlin Majere)
-----------------------------------------------------------------
Dario Faggioli, Ph.D, http://about.me/dario.faggioli
Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)


[-- Attachment #1.2: This is a digitally signed message part --]
[-- Type: application/pgp-signature, Size: 198 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

* Re: ARINC653
  2013-12-10  9:36             ` ARINC653 Dario Faggioli
@ 2013-12-10 11:55               ` Simon Martin
  0 siblings, 0 replies; 10+ messages in thread
From: Simon Martin @ 2013-12-10 11:55 UTC (permalink / raw)
  To: Dario Faggioli
  Cc: Andrew Cooper, josh.whitehead, Nate Studer, Robbie VanVossen,
	xen-devel


[-- Attachment #1.1: Type: text/plain, Size: 333 bytes --]

Hi Dario,

>>  Pool-0 has pcpu 1, 2 and 3
>>  pv499 has pcpu 0.
>>
>Can you try the opposite? I mean, something like having the 1 pCPU only
>pool when you run your domU *not* including pCPU #0?
>
I changed it so that Pool-0 has pcpu 0, 1 and 2, and pv499 has pcpu 3. 
No difference. Which is good in a way :-).

Regards.

[-- Attachment #1.2: Type: text/html, Size: 1333 bytes --]

[-- Attachment #2: Type: text/plain, Size: 126 bytes --]

_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2013-12-10 11:55 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
     [not found] <528A34C9.7010208@dornerworks.com>
2013-12-03 12:07 ` ARINC653 Simon Martin
2013-12-03 15:32   ` ARINC653 Nate Studer
2013-12-03 20:19     ` ARINC653 Simon Martin
2013-12-09 20:23       ` ARINC653 Simon Martin
2013-12-09 21:28         ` ARINC653 Dario Faggioli
2013-12-09 23:08           ` ARINC653 Simon Martin
2013-12-10  9:36             ` ARINC653 Dario Faggioli
2013-12-10 11:55               ` ARINC653 Simon Martin
2013-11-28 13:07 ARINC653 Simon Martin
2013-11-28 13:55 ` ARINC653 Simon Martin

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).