Akilan Selvacoumar me
1 Followers · 0 Following
  • https://akilan.io

  • Hi there 👋,

    I am just a normal person

    • I love to build stuff and love to run away from fancy documentation.
    • Believer in free knowledge.
  • Joined on 2025-11-11
Repositories
5
 Projects Packages Public Activity Starred Repositories
me created branch backup in Cheri-research/cheri-cap-lib 2026-02-17 15:37:54 +00:00
me pushed to Toooba-bypass-without-removing-TLB at Cheri-research/Toooba 2026-02-17 15:30:56 +00:00
762b3b4cbb saving current changes
6f114cd188 saving current changes
a60edef697 merge conflict resolved
9e82350306 added sample assembler bump allocator test
Compare 4 commits »
me pushed to Toooba-bypass-without-removing-TLB at Cheri-research/Toooba 2026-02-05 18:56:14 +00:00
800b2d4793 ignored test.txt
656cb4d5e8 saving traces for baremode
Compare 2 commits »
me created branch Toooba-bypass-without-removing-TLB in Cheri-research/Toooba 2026-02-05 18:56:14 +00:00
me pushed to master at Cheri-research/Toooba 2026-02-02 16:26:33 +00:00
9e82350306 added sample assembler bump allocator test
me pushed to toooba-regular at Cheri-research/Toooba 2026-01-27 19:07:39 +00:00
aa0f7c69a7 removed debug prints
me pushed to toooba-regular at Cheri-research/Toooba 2026-01-27 15:35:12 +00:00
8097b5cd3d enabled performance counters
me pushed to toooba-regular at Cheri-research/Toooba 2026-01-25 14:26:26 +00:00
me created branch toooba-regular in Cheri-research/Toooba 2026-01-25 14:26:26 +00:00
me pushed to bypass-tlb at Cheri-research/Toooba 2026-01-25 14:24:31 +00:00
9f7aa79b99 saving current changes
me pushed to bypass-tlb at Cheri-research/Toooba 2026-01-20 18:06:11 +00:00
f2cc45d169 other changes
me pushed to bypass-tlb at Cheri-research/Toooba 2026-01-20 18:04:48 +00:00
b9b318b4f5 added compilable TLB bypass need to fix assert
me created branch bypass-tlb in Cheri-research/Toooba 2026-01-20 18:04:48 +00:00
me commented on issue Cheri-research/Toooba#1 2026-01-20 13:36:26 +00:00
Add documentation
  • Add documentation to the thesis.
me commented on issue Cheri-research/cheri-cap-lib#2 2026-01-14 23:21:06 +00:00
Add extra field called "Delta"

Debug trace

CheriCC_FAT

import DefaultValue :: *;
import CHERICap     :: *;

typedef 4   UPermW;
typedef 14  MW;
typedef 6   ExpW;
typedef 18  OTypeW;
typedef…
me commented on issue Cheri-research/Toooba#1 2026-01-14 15:37:42 +00:00
Add documentation
  • Add a spec on how a simple assembly instruction with a vm_boot can transition into without adding PTE from the start. This assumes SV39 is enabled. A simple malloc call can work…
me opened issue Cheri-research/Toooba#1 2026-01-14 15:34:06 +00:00
Add documentation
me commented on issue Cheri-research/cheri-cap-lib#2 2026-01-14 15:32:53 +00:00
Add extra field called "Delta"
  • Add extra field.
  • Add function that can add the value to the 44 bit filed.
me opened issue Cheri-research/cheri-cap-lib#2 2026-01-14 15:31:39 +00:00
Add extra filed called "Delta"
me opened issue Cheri-research/cheri-cap-lib#1 2026-01-14 15:30:41 +00:00
Check if the model checker works