l4linux shutdown cleanup

2014-10-08 Thread Masti Ramya Jayaram
Dear all, I would like to perform some cleanup operations after l4linux shuts down..such as zero out all the memory it used and re-encrypt the original vmlinux image. I would like to know how I could do this from sigma0 preferably or even in the fiasco kernel. Could anyone point me to where

JDB and thread ids

2014-10-08 Thread teclis High Elf
What command in JDB gives me a list of thread IDs I can use with the other thread commands. I tried the list tasks and didn't see anything that looked like a thread id. ___ l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de