Hello,
While I was browsing source code, I found two confusing variables: At genode/base/include/base/thread.h Thread_base::Context {
long stack[];
addr_t stack_base; }
Although, they are commented a bit, it is hard to understand what are they doing and what's the difference. Could you tell me about them more?
Best, Jaeyong