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 the clean up procedure (release 
of resources) occurs once l4linux shuts down?

Thanks,
Ramya


___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers


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
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers