Skip to content

Refused user mode and memory protection on the Cortex-A35 module ports #817

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
fdesbiens merged 1 commit into from
Oct 24, 2026
+32 −16
Merged

Refused user mode and memory protection on the Cortex-A35 module ports #817

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 8 additions & 4 deletions ports_module/cortex_a35/ac6/inc/txm_module_port.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
*
* SPDX-License-Identifier: MIT
**************************************************************************/
// Portions of this file were generated with AI assistance.


/**************************************************************************/
Expand Down Expand Up @@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
#define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS 0x00000004


/* Define the supported options for this module. */
/* Define the supported options for this module. Module threads run at the Module Manager's
exception level and call it directly, so this port cannot isolate a module and refuses
user mode and memory protection at load. */

#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_REQUIRED_OPTIONS 0


Expand Down Expand Up @@ -255,8 +258,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT

/* Define the macros to perform port-specific checks when passing pointers to the kernel. */

/* Define macro to make sure object is inside the module's data. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
/* Define macro to make sure object is inside the module's data. No module on this port has
memory protection, so this is never asked; any range is refused if it is. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)

/* Define some internal prototypes to this module port. */

Expand Down
12 changes: 8 additions & 4 deletions ports_module/cortex_a35/gnu/inc/txm_module_port.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
*
* SPDX-License-Identifier: MIT
**************************************************************************/
// Portions of this file were generated with AI assistance.


/**************************************************************************/
Expand Down Expand Up @@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
#define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS 0x00000004


/* Define the supported options for this module. */
/* Define the supported options for this module. Module threads run at the Module Manager's
exception level and call it directly, so this port cannot isolate a module and refuses
user mode and memory protection at load. */

#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_REQUIRED_OPTIONS 0


Expand Down Expand Up @@ -255,8 +258,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT

/* Define the macros to perform port-specific checks when passing pointers to the kernel. */

/* Define macro to make sure object is inside the module's data. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
/* Define macro to make sure object is inside the module's data. No module on this port has
memory protection, so this is never asked; any range is refused if it is. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)

/* Define some internal prototypes to this module port. */

Expand Down
12 changes: 8 additions & 4 deletions ports_module/cortex_a35_smp/ac6/inc/txm_module_port.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
*
* SPDX-License-Identifier: MIT
**************************************************************************/
// Portions of this file were generated with AI assistance.


/**************************************************************************/
Expand Down Expand Up @@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
#define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS 0x00000004


/* Define the supported options for this module. */
/* Define the supported options for this module. Module threads run at the Module Manager's
exception level and call it directly, so this port cannot isolate a module and refuses
user mode and memory protection at load. */

#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_REQUIRED_OPTIONS 0


Expand Down Expand Up @@ -250,8 +253,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT

/* Define the macros to perform port-specific checks when passing pointers to the kernel. */

/* Define macro to make sure object is inside the module's data. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
/* Define macro to make sure object is inside the module's data. No module on this port has
memory protection, so this is never asked; any range is refused if it is. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)

/* Define some internal prototypes to this module port. */

Expand Down
12 changes: 8 additions & 4 deletions ports_module/cortex_a35_smp/gnu/inc/txm_module_port.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
*
* SPDX-License-Identifier: MIT
**************************************************************************/
// Portions of this file were generated with AI assistance.


/**************************************************************************/
Expand Down Expand Up @@ -114,9 +115,11 @@ The following extensions must also be defined in tx_port.h:
#define TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS 0x00000004


/* Define the supported options for this module. */
/* Define the supported options for this module. Module threads run at the Module Manager's
exception level and call it directly, so this port cannot isolate a module and refuses
user mode and memory protection at load. */

#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_USER_MODE | TXM_MODULE_MEMORY_PROTECTION | TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_SUPPORTED_OPTIONS (TXM_MODULE_SHARED_EXTERNAL_MEMORY_ACCESS)
#define TXM_MODULE_MANAGER_REQUIRED_OPTIONS 0


Expand Down Expand Up @@ -250,8 +253,9 @@ typedef struct TXM_MODULE_MANAGER_MEMORY_FAULT_INFO_STRUCT

/* Define the macros to perform port-specific checks when passing pointers to the kernel. */

/* Define macro to make sure object is inside the module's data. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_SUCCESS)
/* Define macro to make sure object is inside the module's data. No module on this port has
memory protection, so this is never asked; any range is refused if it is. */
#define TXM_MODULE_MANAGER_CHECK_INSIDE_DATA(module_instance, obj_ptr, obj_size) (TX_FALSE)

/* Define some internal prototypes to this module port. */

Expand Down