<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"></head><body>
<div>+1</div><div><br></div><div><br></div><div><br></div><div id="composer_signature"><div style="font-size:85%;color:#575757">Von meinem Samsung Gerät gesendet.</div></div><br><br>-------- Ursprüngliche Nachricht --------<br>Von: Joel Sherrill <joel@rtems.org> <br>Datum: 22.03.2016 19:20 (GMT+01:00) <br>An: "rtems-devel@rtems.org" <devel@rtems.org> <br>Betreff: RFC: Deprecating Dual Ported Memory Manager <br><br><div dir="ltr">Hi<div><br></div><div>I have never seen much utility in this manager even though it was</div><div>in the original RTEID and ORKID specifications. If anyone is using</div><div>it, please speak up.</div><div><br></div><div>Otherwise, I propose that it be marked as deprecated for 4.12 and</div><div>removed after 4.12 is released.</div><div><br></div><div>Thoughts?</div><div><br></div><div>--joel</div></div>
</body></html>