We have implemented the t-kernel on MICA2 family
motes, including MICA2, XSMv1, and XSMv3 (ExScal)
motes [1], as shown in Figure 2. Using these sensor nodes,
this demonstration presents three scenarios to exhibit the tkernel’s
capability in interrupt handling, OS protection, and
virtual memory.