[RTEMS Project] #3884: RTEMS as a Guest/Manager on seL4 Microkernel (was: RTEMS as a Guest/Manager on seL4 Microerkernel)

[RTEMS trac]

#3884: RTEMS as a Guest/Manager on seL4 Microkernel
-----------------------------+-------------------------
 Reporter:  Hesham Almatary  |       Owner:  (none)
     Type:  project          |      Status:  new
 Priority:  normal           |   Milestone:  Indefinite
Component:  rtems            |     Version:
 Severity:  normal           |  Resolution:
 Keywords:                   |  Blocked By:
 Blocking:                   |
-----------------------------+-------------------------

--
Ticket URL: <http://devel.rtems.org/ticket/3884#comment:1>
RTEMS Project <http://www.rtems.org/>
RTEMS Project