+1
Von meinem Samsung Gerät gesendet.
Ursprüngliche Nachricht
Von: Joel Sherrill
Datum: 22.03.2016 19:20 (GMT+01:00)
An: "rtems-de...@rtems.org"
Betreff: RFC: Deprecating Dual Ported Memory Manager
Hi
I have never seen much utility in this manager even
Hi
I have never seen much utility in this manager even though it was
in the original RTEID and ORKID specifications. If anyone is using
it, please speak up.
Otherwise, I propose that it be marked as deprecated for 4.12 and
removed after 4.12 is released.
Thoughts?
--joel
_
