search

seL4 / microkit

Microkit - A simple operating system framework for the seL4 microkernel
Other
70 stars 37 forks source link

libmicrokit: adhere to CI style checks #65

Closed Ivan-Velickovic closed 9 months ago

Ivan-Velickovic commented 9 months ago

Probably going to have to create PRs like this for a while until every file gets touched by other PRs. I should really look into on how to run the style check locally...

isubasinghe commented 9 months ago

@Ivan-Velickovic this is the relevant file I think: https://github.com/seL4/seL4_tools/blob/master/misc/style-c.sh

max-instatement-indent=120
style=otbs
pad-header
indent=spaces=4
attach-closing-while
pad-oper
pad-comma
unpad-paren
align-pointer=name
add-braces
attach-return-type
convert-tabs
min-conditional-indent=0
max-code-length=120
max-continuation-indent=120