function CPU_Id
return Natural
Returns the Id of the CPU we're currently executing on.
procedure Launch_Core1
(Trap_Vector : HAL.UInt32;
Stack_Pointer : HAL.UInt32;
Entry_Point : HAL.UInt32)
Start core 1 (the second CPU of the RP2040) to execute code at Entry_Point with the stack pointer set to Stack_Pointer and trap vector base set to Trap_Vector.
procedure Launch_Core1
(Trap_Vector : System.Address;
Stack_Pointer : System.Address;
Entry_Point : System.Address)