Skip to content

Commit

Permalink
Fix list on website
Browse files Browse the repository at this point in the history
Last item was outside list.
  • Loading branch information
wom-bat committed Jun 8, 2023
1 parent 0b9f1f5 commit 10cea17
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion sel4bench/build.py
Original file line number Diff line number Diff line change
Expand Up @@ -246,11 +246,11 @@ def gen_web(runs: List[Run], yml, file_name: str):
f.write('<li><strong>IPC reply</strong>: ')
f.write('Time in cycles for a server replying to a client in a different address space on\n')
f.write('the same core.</li>\n')
f.write('</ul>')

f.write('<li><strong>Notify</strong>: ')
f.write('Time in cycles to send a signal from a process with priority 1 to a higher\n')
f.write('priority (255) process in a different address space</li>\n')
f.write('</ul>')

# Results
for section_name in sections:
Expand Down

0 comments on commit 10cea17

Please sign in to comment.