FaaSnap Sanitizing Guest Kernel The kernel is based on v4.14. Use sample.config for configuring. Compile both the sanpage kernel and the vanilla v4.14 kernel for testing.