Adrian Danis eec02fd223 x86: Dangerous read/write MSR interface ... Provides a syscall interface for reading and writing arbitrary MSR values. This is being introduced as an alternative to the DebugRun, as the main purpose of debug run is for modifying the performance monitoring events via read/write MSR.		2018-01-17 16:35:39 +11:00
..
syscall.xml	x86: Dangerous read/write MSR interface	2018-01-17 16:35:39 +11:00
syscall.xsd	libsel4: fix licenses	2017-06-22 15:27:29 +10:00