Notice: We have migrated to GitLab launching 2024-05-01 see here:

#4722 closed defect (fixed)

Odd IDLE thread ID printing from various BSPs in minimum.exe

Reported by: Mohd Noor Aman Owned by: joel@…
Priority: normal Milestone:
Component: test Version: 6
Severity: normal Keywords:
Cc: Blocked By:

Description (last modified by Joel Sherrill)

I have built a new aarch64 raspberry pi 4 BSP and while trying out the minimum.exe on the target and the IDLE thread ID printing was 0x089010001. As per Joel, This is not limited to aarch64 BSPs but to sparc/leon3 too. Here's my output from Raspberry pi 4B aarch64 minimum.exe

*** FATAL ***
fatal source: 0 (INTERNAL_ERROR_CORE)
RTEMS version: 6.0.0.ee92899632c823e19aa4f2e7048af3d910f59be2
RTEMS tools: 12.1.1 20220622 (RTEMS 6, RSB eea379370116628dbe91f19e61ad6129aa1951ac, Newlib ea99f21)
executing thread ID: 0x089010001
executing thread name: IDLE

From the cpuuse command, this is the IDLE thread ID:

 0x09010001 | IDLE                                   |     20.301428 |  96.344
Looks like a bug somewhere not related to the Pi4

For some reason, the MSB is set. Doesn't look like sign-extension. But could be a bug in printk() versus printf().

Change History (2)

comment:1 Changed on 09/22/22 at 15:23:03 by Joel Sherrill

Description: modified (diff)

comment:2 Changed on 09/23/22 at 06:30:13 by Sebastian Huber <sebastian.huber@…>

Resolution: fixed
Status: newclosed

In [changeset:"962904cd940c114235f3d466abf5164b01b1289e/rtems" 962904c/rtems]:

bsps: Fix format specifier

Close #4722.

Note: See TracTickets for help on using tickets.