Skip to content

loader: fix RPi 5 UART initialization prototype - #619

Merged
dreamliner787-9 merged 1 commit into
seL4:mainfrom
r4v3n6101:fix-rpi5-uart
Oct 26, 2026
Merged

dreamliner787-9 merged 1 commit into
seL4:mainfrom
r4v3n6101:fix-rpi5-uart

Conversation

@r4v3n6101

@r4v3n6101 r4v3n6101 commented Oct 25, 2026 •

Copy link
Copy Markdown
Contributor

...continuation of NixOS/nixpkgs#572133 (comment);

Clang complains about uart_init() with -Wstrict-prototypes, and -Werror makes the build fail.

cc @midnightveil

@dreamliner787-9 dreamliner787-9 left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is good to merge once you fix the gitlint.

Declare `uart_init` with an explicit void parameter list, matching
`uart.h`. Fixes Clang's `-Wstrict-prototypes` error when building the
BCM2712 loader with `CONFIG_PRINTING` enabled.

Signed-off-by: r4v3n6101 <[email protected]>
@Indanz

Indanz commented Oct 26, 2026

Copy link
Copy Markdown

cc @midnightveil

Julia is on leave for the next month, so please don't CC her during that time.

@dreamliner787-9
dreamliner787-9 merged commit 837f65a into seL4:main Oct 26, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants