diff --git a/content/About/Performance/home.pml b/content/About/Performance/home.pml index a148b3be..05600a99 100644 --- a/content/About/Performance/home.pml +++ b/content/About/Performance/home.pml @@ -32,66 +32,66 @@ priority (255) process in a different address space 32 A9/i.MX6/Sabre 1.0 GHz - 573 - (10) - 316 - (3) - 335 - (3) - 813 + 566 + (11) + 317 + (2) + 336 + (2) + 819 (7) x86_64 64 i7-4770/Haswell 3.4 GHz - 1676 - (248) - 587 + 1662 + (254) + 584 (13) 594 (13) - 1246 - (75) + 1249 + (77) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1257 - (207) + 1221 + (204) 382 + (4) + 388 (3) - 390 - (2) - 767 - (82) + 766 + (83) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 667 - (38) - 405 - (8) - 416 - (6) - 960 - (19) + 664 + (35) + 403 + (5) + 415 + (1) + 968 + (10) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 983 - (76) - 495 - (99) - 652 - (96) - 1371 - (75) + 988 + (78) + 475 + (14) + 649 + (84) + 1382 + (84)

MCS

@@ -110,66 +110,66 @@ priority (255) process in a different address space 32 A9/i.MX6/Sabre 1.0 GHz - 832 - (17) - 322 + 826 + (15) + 323 + (4) + 362 (3) - 364 - (5) - 1212 - (16) + 1227 + (15) x86_64 64 i7-4770/Haswell 3.4 GHz - 2020 - (424) - 591 - (22) + 2009 + (427) + 599 + (17) 603 - (12) - 1596 - (14) + (11) + 1599 + (16) x86_64 64 i7-6700/Skylake (without meltdown mitigation) 3.4 GHz - 1681 - (340) - 389 - (2) - 412 - (4) + 1663 + (327) + 390 + (5) + 408 + (7) 1064 - (8) + (11) Armv8a 64 A57/Tx1/Jetson 1.9 GHz - 760 - (27) - 416 - (1) - 456 + 765 + (30) + 428 + (7) + 443 + (8) + 970 (11) - 957 - (16) RV64IMAC 64 U54-MC/SiFive Freedom U540/Hifive 1.5 GHz - 1988 - (75) - 681 - (20) - 893 - (75) - 2578 - (81) + 1989 + (90) + 709 + (72) + 881 + (53) + 2579 + (61)

Compilation Details

@@ -268,4 +268,4 @@ docker file repository

Default

Source Code

-

This page was generated on 2024-03-14 for sel4bench-manifest 461f1095.

\ No newline at end of file +

This page was generated on 2024-03-16 for sel4bench-manifest 99745b4d.

\ No newline at end of file