RE: [ros-dev] Kernel-mode stack layout (FPU save area, trapframes, etc.)