1 <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
2 <link rel="stylesheet" href="style.css" type="text/css"/>
3 <script src="code.js" type="text/javascript"></script>
5 <h1>What is RISC-V?</h1>
13 3cf70863 beq a4,a5,1ce28 <main+0x1d68>
15 c3058593 addi a1,a1,-976 # 15c30 <__mon_yday+0x24d8>
18 964fe0ef jal 1abd0 <dcgettext@plt>
22 f75fd0ef jal 1a9f0 <error@plt>
23 9901b503 ld a0,-1648(gp) # 16bd8 <color_buf>
24 accfe0ef jal 1ad50 <free@plt>
25 9981b503 ld a0,-1640(gp) # 16be0 <color_ext_list>
26 00050a63 beqz a0,1caa0 <main+0x19e0>
28 abcfe0ef jal 1ad50 <free@plt>
30 ff1ff06f j 1ca8c <main+0x19cc>
31 9a0180a3 sb zero,-1631(gp) # 16be9 <print_with_color>