John Wittrock found a bug:  We don't currently properly restore registers from a fault handler.
Merge remote branch 'gparmer/master'
optimized the cr0 operation using bitwise
fixed the indention in fpu related code
Gao Xiang found and debugged a fundamental bug in the memory
management.  This removes redundant reference increments on frames
(physical pages) in the memory mapper.
Merge remote branch 'gparmer/master'
save
checkpoint
save
all done !
voila
fixed some compiler warnings
code clean
moved tmeta code to torlib
added some assertion for POSIX implementation