world.git - nix configuration for my machines

	Commit message (Collapse)	Author	Age	Files	Lines
*	feat(tools/schedlatency): add a tool to report scheduler latency	Franck Cuny	2022-06-19	2	-0/+258
	Given a PID, the tool reports the scheduler latency for it. Change-Id: I52e1de81a91f53ac74734dfd808fd4d7ac00c685 Reviewed-on: https://cl.fcuny.net/c/world/+/452 Tested-by: CI Reviewed-by: Franck Cuny <franck@fcuny.net>