I’m a student form China, and I’m trying to port a OS(Barrelfish) to Jetson TK1.
Now I had make the primary core working.
But when I start to deal with the secondary core, there are problems.
first, I just know using the “SEV” instruction can wake up a core (in WFE or WFI). I don’t know what else i have to do?
Most important thing is I don’t know how to set the secondary core’s boot address.
I tried to find answer from the linux code for Jetson TK1, but I didn’t find any code setting the address.
Can you tell me want to do?