Announce: RTEMS 5.2-rc1 Release Candidate

2022-11-16 Thread Chris Johns
The RTEMS 5.2-rc1 Release Candidate is available. The release can be found at: https://ftp.rtems.org/pub/rtems/releases/5/rc/5.2-rc1/ Please follow the release instructions provided by the link. The release notes can be found here:

Re: [PATCH] aarch64/mmu: Prevent block descriptors at level -1

2022-11-16 Thread Chris Johns
Tested on Versal (A72) and large mappings are now working. I have pushed the patch. Thanks for this. :) Chris On 17/11/2022 2:22 am, Kinsey Moore wrote: > In the original implementation, level -1 was unused and all levels could > have block-like descriptors (level 2 block descriptors are

Question about SMP tests after shutdown

2022-11-16 Thread Alan Cudmore
Hi, I am running testsuite applications on a dual core RISC-V CPU. When I run samples such as ticker.exe, the test ends without error messages. On SMP tests, the tests seem to run correctly and end, but there is always a fatal error from thread(s) on the other CPU. (RTEMS_FATAL_SOURCE_SMP) My

Re: Add Formal Verification chapter v2

2022-11-16 Thread Gedare Bloom
Hi Andrew, 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. So, when there is a `formal`

Re: [PATCH] c-user: CAN framework docs

2022-11-16 Thread Gedare Bloom
On Tue, Nov 15, 2022 at 11:14 PM Prashanth S wrote: > > Hi Gedare, > > > What are the images? > There three images: > images/c_user/CAN-framework.jpg-> Overview of CAN-Framework > images/c_user/CAN-rx-data-path.jpg -> Rx Data Path flow > images/c_user/CAN-tx-data-path.jpg -> Tx Data Path

[PATCH] aarch64/mmu: Prevent block descriptors at level -1

2022-11-16 Thread Kinsey Moore
In the original implementation, level -1 was unused and all levels could have block-like descriptors (level 2 block descriptors are called page descriptors). When support for level -1 page tables was added the constraint on level -1 block descriptors was not honored. This prevents block

Re: Add Formal Verification chapter v2

2022-11-16 Thread andrew.butterfi...@scss.tcd.ie
Dear Gedare, thanks for doing this - all feedback welcome! Best regards, Andrew Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 Lero@TCD, Head of Software Foundations & Verification Research Group School