100644 blob d7d46e0320ff1d8bf5dfbdfb4d36107142b84cd2	Makefile.am
100644 blob d420b839fb536f0e732a6ef48d2f3eb51acb2763	core_platform.c
100644 blob ddf203c3b3325bc4d46577a6a873f6ae010c381c	core_platform.h
100644 blob 60977d65744613caaedfe38f995307492e1db2e5	ldt.c
100644 blob 0c94fa7efd090e126ef990dde229726bac8826b8	vki_unistd.h