Mincheol Sung
Results
1
comments of
Mincheol Sung
@gernotheiser Thanks for the reply, Dr. Heiser. I am benchmarking seL4's IPC and finding a performance gap between sel4bench and my own benchmark (I modified the sel4bench IPC benchmark to...