bank32k: add reminder about stack

diff --git a/Kernel/bank32k.c b/Kernel/bank32k.c
index b5aaa65..34d7072 100644 (file)
--- a/Kernel/bank32k.c
+++ b/Kernel/bank32k.c
@@ -34,6 +34,8 @@
  *   then copy in the new one
  * - Provide a bank32_invalidate_cache definition to clear the cached page
  *   when it is freed.
+ * - Switch stacks when you switch to and from full kernel mapping to user
+ *   mappings as there is no common space for the kernel stacks.
  *
  *   If you are also doing swapping then you need to account for the cache
  *   by providing a swap_flush_cache() method (see swap.c)