<div dir="ltr"><table class="gmail-iN" style="border-spacing:0px;font-size:16.8px;table-layout:fixed;width:568px;vertical-align:top;border-collapse:collapse;border:none;font-family:"Google Sans",Roboto,RobotoDraft,Helvetica,Arial,sans-serif"><tbody><tr><td class="gmail-HE" style="padding:0px"><div id="gmail-:34r" class="gmail-aDg" style="margin-left:0px"><div id="gmail-:32u" class="gmail-aDj" style="border:none;margin:0px;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><div id="gmail-:355" class="gmail-aDl" style="z-index: 1;"></div></div></div></td></tr><tr><td id="gmail-:32g" class="gmail-GQ" style="width:568px;padding:0px"><div id="gmail-:32j" class="gmail-GP" style="overflow-y:hidden;padding:0px 1px;max-height:507px;min-height:390px"><div id="gmail-:32i" class="gmail-qz gmail-aiL" style="overflow:auto;max-height:507px"><div id="gmail-:32k" class="et"><div id="gmail-:33t" class="gmail-ZyRVue"><div><table cellpadding="0" class="gmail-cf gmail-An" id="gmail-undefined" style="width:568px;table-layout:fixed;border-spacing:0px"><tbody><tr><td class="gmail-Ap" style="vertical-align:top;width:568px"><div id="gmail-:2zo" class="gmail-Ar gmail-Au" style="border-radius:1px;box-sizing:border-box;padding:10px 0px;zoom:1;border:0px transparent;margin:0px"><div id="gmail-:2zk" class="gmail-Am gmail-Al editable gmail-LW-avf gmail-tS-tW gmail-tS-tY" aria-label="Message Body" role="textbox" aria-multiline="true" tabindex="1" aria-controls=":3cy" style="font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;font-kerning:auto;font-feature-settings:normal;font-stretch:normal;font-size:small;line-height:1.5;font-family:Arial,Helvetica,sans-serif;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;border:0px;overflow:visible hidden;width:568px;outline:none;direction:ltr;min-height:330px"> Hi<br><br>The JUICE mission was scheduled to launch today but unfortunately, there was a delay on the launch of the ESA Juice mission this morning due to lightning. But on a positive note, it means that we all didn't miss it. :) It is scheduled for Friday at 8:14 a.m. ET.<br><br>"After JUICE arrives at Jupiter in July 2031, the spacecraft will spend about three and a half years orbiting the gas giant and conducting flybys of three of its moons: Ganymede, Callisto and Europa. Toward the end of the mission, Juice will focus solely on orbiting Ganymede, making it the first spacecraft to ever orbit a moon in the outer solar system."<br><br>AFAIK this mission includes at least RTEMS based instruments and Data Processing Unit (DPU). If anyone has more details on the use of RTEMS on this mission, please share.<div><br><a href="https://flightsoftware.jhuapl.edu/files/2016/Day-3/Day-3-13-Hellstrom.pdf">https://flightsoftware.jhuapl.edu/files/2016/Day-3/Day-3-13-Hellstrom.pdf</a><br><br>More general info on the mission<br><br><a href="https://www.bbc.com/news/science-environment-65254502">https://www.bbc.com/news/science-environment-65254502</a><br><br>--joel  <br></div></div></div></td></tr></tbody></table></div></div><div id="gmail-:33a"></div><div id="gmail-:30v"><div id="gmail-:30u" class="gmail-bA3"><div id="gmail-:332"></div><div id="gmail-:32t" style="height:40px"></div></div></div></div></div><div id="gmail-:30t" class="gmail-bv8" style="padding-left:1px"></div></div></td></tr><tr><td class="gmail-HE" style="padding:0px"><div id="gmail-:34r" class="gmail-aDg" style="margin-left:0px"><div id="gmail-:32u" class="gmail-aDj" style="border:none;margin:0px;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><div id="gmail-:32c" class="gmail-aC5" style="z-index: 1;"></div><div id="gmail-:355" class="gmail-aDl" style="z-index: 1;"><div id="gmail-:32n" class="gmail-nc"></div><div id="gmail-:2ts" class="gmail-Ur" style="margin-left:0px"><div class="gmail-aX" style="height:44px;overflow:visible"><div id="gmail-:2o2" class="gmail-aZ"><div class="gmail-J-Z" id="gmail-:2o1" role="toolbar" aria-label="Formatting options" style="background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial;border:none;outline:0px;padding:8px 2px;zoom:1;display:inline-flex;margin:0px;border-radius:2px;white-space:nowrap"><div id="gmail-:2oc" class="gmail-J-Z-I gmail-J-J5-Ji" aria-label="Undo ‪(Ctrl-Z)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="gmail-te gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/undo_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2od" class="gmail-J-Z-I gmail-J-J5-Ji" aria-label="Redo ‪(Ctrl-Y)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="gmail-sV gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/redo_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div class="gmail-J-Z-axR gmail-J-J5-Ji" style="display:inline-block;border-left:1px solid rgba(100,121,143,0.12);height:20px;line-height:normal;list-style:none;margin:0px 2px;outline:none;overflow:hidden;padding:0px;vertical-align:middle;width:0px"></div><div id="gmail-:2oe" class="gmail-J-Z-axO gmail-J-Z-M-I gmail-aOz gmail-J-J5-Ji" aria-label="Font ‪(Ctrl-Shift-5, Ctrl-Shift-6)‬" role="listbox" aria-expanded="false" aria-haspopup="true" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 2px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Kv-H" style="display:inline-flex;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-J6-H" style="display:inline-flex;border:0px;vertical-align:top;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Jm" id="gmail-:3d2" role="option" aria-selected="true" style="display:inline-block;padding:0px 0px 0px 4px;margin:0px;overflow:hidden;text-overflow:ellipsis;width:4.8125rem">Sans Serif</div><div class="gmail-J-J5-Ji gmail-J-Z-M-I-JG" style="display:inline-block;background:url("https://www.gstatic.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50%/20px no-repeat;float:right;margin:0px 0px 0px auto;padding:0px;opacity:0.7;vertical-align:middle;width:16px;height:20px;border:none"></div></div></div></div><div class="gmail-J-Z-axR gmail-J-J5-Ji" style="display:inline-block;border-left:1px solid rgba(100,121,143,0.12);height:20px;line-height:normal;list-style:none;margin:0px 2px;outline:none;overflow:hidden;padding:0px;vertical-align:middle;width:0px"></div><div id="gmail-:2of" class="gmail-J-Z-M-I gmail-J-J5-Ji" aria-label="Size ‪(Ctrl-Shift--, Ctrl-Shift-+)‬" role="button" aria-expanded="false" aria-haspopup="true" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 2px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Kv-H" style="display:inline-flex;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-J6-H" style="display:inline-flex;border:0px;vertical-align:top;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Jm" style="display:inline-block;padding:0px;margin:0px"><div class="eY gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px 0px 0px 4px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_size_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div><div class="gmail-J-J5-Ji gmail-J-Z-M-I-JG" style="display:inline-block;background:url("https://www.gstatic.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50%/20px no-repeat;float:right;margin:0px 0px 0px auto;padding:0px;opacity:0.7;vertical-align:middle;width:16px;height:20px;border:none"></div></div></div></div><div class="gmail-J-Z-axR gmail-J-J5-Ji" style="display:inline-block;border-left:1px solid rgba(100,121,143,0.12);height:20px;line-height:normal;list-style:none;margin:0px 2px;outline:none;overflow:hidden;padding:0px;vertical-align:middle;width:0px"></div><div id="gmail-:2og" class="gmail-J-Z-aEu-I gmail-J-Z-I gmail-J-J5-Ji" aria-label="Bold ‪(Ctrl-B)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="eN gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_bold_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2oh" class="gmail-J-Z-aEu-I gmail-J-Z-I gmail-J-J5-Ji" aria-label="Italic ‪(Ctrl-I)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="e3 gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_italic_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2oi" class="gmail-J-Z-aEu-I gmail-J-Z-I gmail-J-J5-Ji" aria-label="Underline ‪(Ctrl-U)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="gmail-fu gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_underlined_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2oj" class="gmail-J-Z-M-I gmail-J-J5-Ji" aria-label="Text color" role="button" aria-expanded="false" aria-haspopup="true" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 2px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Kv-H" style="display:inline-flex;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-J6-H" style="display:inline-flex;border:0px;vertical-align:top;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Jm" style="display:inline-block;padding:0px;margin:0px"><div class="eS gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px 0px 0px 4px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/text_format_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div><div class="gmail-J-J5-Ji gmail-J-Z-M-I-JG" style="display:inline-block;background:url("https://www.gstatic.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50%/20px no-repeat;float:right;margin:0px 0px 0px auto;padding:0px;opacity:0.7;vertical-align:middle;width:16px;height:20px;border:none"></div></div></div></div><div class="gmail-J-Z-axR gmail-J-J5-Ji" style="display:inline-block;border-left:1px solid rgba(100,121,143,0.12);height:20px;line-height:normal;list-style:none;margin:0px 2px;outline:none;overflow:hidden;padding:0px;vertical-align:middle;width:0px"></div><div id="gmail-:2ok" class="gmail-J-Z-M-I gmail-J-J5-Ji" aria-label="Align" role="button" aria-expanded="false" aria-haspopup="true" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 2px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Kv-H" style="display:inline-flex;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-J6-H" style="display:inline-flex;border:0px;vertical-align:top;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Jm" style="display:inline-block;padding:0px;margin:0px"><div class="gmail-aaA gmail-aaB e4" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px 0px 0px 4px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_align_left_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div><div class="gmail-J-J5-Ji gmail-J-Z-M-I-JG" style="display:inline-block;background:url("https://www.gstatic.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50%/20px no-repeat;float:right;margin:0px 0px 0px auto;padding:0px;opacity:0.7;vertical-align:middle;width:16px;height:20px;border:none"></div></div></div></div><div id="gmail-:2ol" class="gmail-J-Z-aEu-I gmail-J-Z-I gmail-J-J5-Ji" aria-label="Numbered list ‪(Ctrl-Shift-7)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="e6 gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_list_numbered_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2om" class="gmail-J-Z-aEu-I gmail-J-Z-I gmail-J-J5-Ji" aria-label="Bulleted list ‪(Ctrl-Shift-8)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="eO gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_list_bulleted_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2on" class="gmail-J-Z-I gmail-J-J5-Ji" aria-label="Indent less ‪(Ctrl-[)‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="e8 gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_indent_decrease_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div id="gmail-:2oo" class="gmail-J-Z-I gmail-J-J5-Ji" aria-label="Indent more ‪(Ctrl-])‬" role="button" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 6px"><div class="gmail-J-J5-Ji gmail-J-Z-I-Kv-H" style="display:inline-flex;border:0px;vertical-align:top;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-I-J6-H" style="display:inline-flex;padding:0px"><div class="e2 gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px;background-image:url("https://www.gstatic.com/images/icons/material/system_gm/1x/format_indent_increase_black_20dp.png");background-position:50% 50%;background-repeat:no-repeat;background-size:20px"></div></div></div></div><div class="gmail-J-Z-axR gmail-J-J5-Ji" style="display:inline-block;border-left:1px solid rgba(100,121,143,0.12);height:20px;line-height:normal;list-style:none;margin:0px 2px;outline:none;overflow:hidden;padding:0px;vertical-align:middle;width:0px"></div><div id="gmail-:2os" class="gmail-J-Z-M-I gmail-J-J5-Ji" aria-label="More formatting options" role="button" aria-expanded="false" aria-haspopup="true" style="display:inline-flex;border-radius:2px;background:0px 50%;border:none;outline:none;padding:0px;height:20px;color:rgb(68,68,68);line-height:20px;list-style:none;font-size:0.875rem;vertical-align:middle;margin:0px 2px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Kv-H" style="display:inline-flex;margin:0px;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-J6-H" style="display:inline-flex;border:0px;vertical-align:top;padding:0px"><div class="gmail-J-J5-Ji gmail-J-Z-M-I-Jm" style="display:inline-block;padding:0px;margin:0px"><div class="gmail-Y1 gmail-aUI gmail-aaA gmail-aaB" style="height:20px;width:20px;vertical-align:middle;opacity:0.71;margin:0px 0px 0px auto;background:url("https://www.gstatic.com/images/icons/material/system_gm/1x/arrow_drop_down_black_20dp.png") 50% 50%/20px no-repeat;border:none"></div></div></div></div></div></div></div></div></div></div></div></div></td></tr></tbody></table><br class="gmail-Apple-interchange-newline"></div>