Initial commit
Intercept some splinlock and pagealloc functions
Allocate shadow for physical memory pages
Added userspace interface for running tests
Added clocks for spinlocks and threads && shadow mapping
Zero thread clocks initially && added acquire() and release()
Renamed tsan to ktsan
Merge pull request #1 from xairy/tsan

Started working on ktsan