They just laid off their Kernel team, and they joined Amazon last year