Re: Congratulations to Two Core Developers

Congratulations, Gedare and Hesham! I had the honor and privilege of working with both of you, and your knowledge and passion have been a true inspiration to me. Best, Vijay On Tue, Jun 28, 2022 at 8:23 AM Joel Sherrill wrote: > > Hi > > I'd like to congratulate two RTEMS core developers on

Congratulations to Two Core Developers

Hi I'd like to congratulate two RTEMS core developers on recent significant achievements. (1) Gedare Bloom was granted tenure at the University of Colorado at Colorado Springs. (2) Hesham Almatary has passed his Ph.D. viva/orals and is nearing graduation. These are both major life events and

[PATCH] bsps/xilinx-zynq: Init debug console only once

Initialize the debug console only once during early system initialization. --- bsps/arm/xilinx-zynq/console/debug-console.c | 5 + 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/bsps/arm/xilinx-zynq/console/debug-console.c b/bsps/arm/xilinx-zynq/console/debug-console.c index

Integrating the Formal Methods part of Qualification

Dear RTEMS Developers, While the validation tests from the RTEMS pre-qualification activity are now merged into the RTEMS master, the work done in investigating and deploying formal methods techniques is not yet merged. The activity had two main phases: a planning phase (Nov 2018-Oct 2019)