Bootlin

 Name                               Last modified      Size  
 logo-cc.svg                        2022-05-18 11:23  3.8K  
 compile-time.ods                   2022-05-18 11:23   14K  
 ram-usage.ods                      2022-05-18 11:23   17K  
 kernel-size.ods                    2022-05-18 11:23   17K  
 compile-time.png                   2022-05-18 11:23   31K  
 ram-usage.png                      2022-05-18 11:23   79K  
 supported-kernel-architectures.png 2022-05-18 11:23   85K  
 kernel-size.png                    2022-05-18 11:23   87K  
 elixir.svg                         2022-05-18 11:23   99K