pilha de kernel e pilha de espaço do usuário
Qual é a diferença entre a pilha do kernel e a pilha de usuários? Por que a pilha do kernel é usada? Se uma variável local é declarada em um ISR, onde será armazenada? Cada processo tem sua própria pilha de kernel? Então, como o processo se coordena entre essas duas pilhas?