RISC-V LINT kernel config
ClosedPublic
Actions

Authored by mhorne on Sep 20 2020, 11:32 PM.

Details

Reviewers

jhb
imp

Group Reviewers

riscv

Commits

rS366574: RISC-V LINT kernel config

Summary

Add the bits necessary to generate the LINT config, including a riscv-specific
NOTES file.

Test Plan

make -j4 TARGETS=riscv WITHOUT_WORLDS=yes universe generates and builds the LINT kernel.

Diff Detail

Lint

Lint Passed

Unit

No Test Coverage

Build Status

Buildable 33787
Build 31004: arc lint + arc unit

Event Timeline

mhorne requested review of this revision.Sep 20 2020, 11:32 PM

mhorne created this revision.

Harbormaster completed remote builds in B33682: Diff 77273.Sep 20 2020, 11:33 PM

mhorne added inline comments.Sep 20 2020, 11:34 PM

.gitignore
35 ↗	(On Diff #77273)	Like I did, you might notice an old sparc64 directory that's been hanging around :~)

Rebase on top of D26540.

Harbormaster completed remote builds in B33787: Diff 77464.Sep 23 2020, 11:08 PM

mhorne mentioned this in D26540: Eliminate building LINT makefiles.Sep 23 2020, 11:09 PM

Nice.

This revision is now accepted and ready to land.Sep 23 2020, 11:30 PM

Closed by commit rS366574: RISC-V LINT kernel config (authored by mhorne). · Explain WhyOct 9 2020, 2:46 PM

This revision was automatically updated to reflect the committed changes.

mhorne added a commit: rS366574: RISC-V LINT kernel config.

Revision Contents
Changeset List

Path

Size

sys/

riscv/

conf/

LINT

4 lines

NOTES

93 lines

Diff 77464

View Options

sys/riscv/conf/LINT