HTTP4k is a very good fit for Serverless design wise (
https://www.http4k.org/blog/meet_http4k/ ) but is let down by the performance characteristics of the JVM. Kotlin Native would be a much better fit for Serverless than Kotlin JVM however a small (high quality) ecosystem would need to be established, and Kotlin Native would need to mature a bit. There are some
future plans for a Kotlin Native version of HTTP4K (
https://github.com/http4k/http4k/issues/186 ) however some barriers prevent the porting from occurring.