-* Should we use a task gate for hardware interrupts? Then we could
- dedicate a stack to interrupt handling and not worry about interrupt
- usage of kernel stacks.
+* Always flush TLB.
+
+----------------------------------------------------------------------
+
+* Cygwin support:
+ - PE linker scripts? Doesn't seem to support ELF ones.
+ - .S files need _ prefixes on symbols.