You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
TX_STACK_FILL ((ULONG) 0xEFEFEFEFUL) works for a 64 bits port like risc-V64 ?
In my case, it is simply expanded to 0x00000000EFEFEFEFUL and the task checking always failed..
The text was updated successfully, but these errors were encountered:
TX_STACK_FILL ((ULONG) 0xEFEFEFEFUL) works for a 64 bits port like risc-V64 ?
In my case, it is simply expanded to 0x00000000EFEFEFEFUL and the task checking always failed..
The text was updated successfully, but these errors were encountered: