Re: Add Formal Verification chapter v2

On 16/11/2022 17:44, Gedare Bloom wrote: I guess I was overly optimistic last night. The note on the front matter should be resolved before we push the full documentation. I guess it's a bit of chicken-and-egg but the documentation should be pushed concurrent with the software that it documents.

Re: Add Formal Verification chapter v2

On 24/11/2022 14:41, andrew.butterfi...@scss.tcd.ie wrote: Section 9.7 "RTEMS Formal Model Guide" seems like it includes both some aspects of a How-To but also a lot of details that might be better as a separate document specific to the Promela/Verification detailed

Fwd: Coverity Scan: Analysis completed for RTEMS

Looks like edit.c may still have an issue since only one was eliminated. Late here and I didn't check the Coverity report for sure. -- Forwarded message - From: Date: Fri, Nov 25, 2022, 12:21 AM Subject: Coverity Scan: Analysis completed for RTEMS To: Your request for

[LIBBSD 6 PATCH] vfs: Pass in the td's cred to the VFS calls

From: Chris Johns --- rtemsbsd/rtems/rtems-kernel-vfs.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/rtemsbsd/rtems/rtems-kernel-vfs.c b/rtemsbsd/rtems/rtems-kernel-vfs.c index 2f4d009b..0817df81 100644 --- a/rtemsbsd/rtems/rtems-kernel-vfs.c +++

[PATCH v2] libmisc/rtems-fdt: Support prop map items up to the size of uintptr_t

From: Chris Johns Updates #4729 --- cpukit/include/rtems/rtems-fdt.h | 6 ++ cpukit/libmisc/rtems-fdt/rtems-fdt.c | 19 +-- 2 files changed, 23 insertions(+), 2 deletions(-) diff --git a/cpukit/include/rtems/rtems-fdt.h b/cpukit/include/rtems/rtems-fdt.h index

[PATCH] libmisc/rtems-fdt: Support prop map items up to the size of uintptr_t

From: Chris Johns Updates #4729 --- cpukit/libmisc/rtems-fdt/rtems-fdt.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpukit/libmisc/rtems-fdt/rtems-fdt.c b/cpukit/libmisc/rtems-fdt/rtems-fdt.c index e5bab21664..26312ff624 100644 ---

Re: Add Formal Verification chapter v2

Hi Andrew, Hi Gerard, first, thanks for the very comprehensive review below - this feedback is very useful for me. I guess I was overly optimistic last night. The note on the front matter should be resolved before we push the full documentation. I guess it's a bit of chicken-and-egg but the

RE: Is it possible to use cFS without a file system?

Hi Frank,The cFS uses files for:Loading individual applications. The current build system can link all applications with the cFE core and the OS image avoiding the need for dynamic loading.The cFE Executive Services startup scriptTable service filesAnd as you mention, any cFS application that uses

Is it possible to use cFS without a file system?

Hello, the core Flight System (cFS) is a software platform created by NASA (https://cfs.gsfc.nasa.gov/). It provides essential onboard services for space missions. I would like to use cFS on top of an RTEMS qualified for space by ESA (https://rtems-qual.io.esa.int/). Yet, this qualified