diff options
author | Patrick Georgi <pgeorgi@google.com> | 2020-02-23 09:51:07 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2020-02-24 14:20:04 +0000 |
commit | 6a4f46ac5e2abe2a33600135bbad36cf14b23881 (patch) | |
tree | 617325351a35b3649c52e8a1eb37acddbbf57e14 /util/lint | |
parent | c44d1e2c7c5a609e7ea3893ddd6baf25ef3f5293 (diff) |
Documentation/project_ideas: Update after 2019
The coverity project is done, for the most part, so drop it. Expand
a bit on the scope of the toolchain binary project, and point out
that the Ghidra project already has code from GSoC 2019 but could be
developed further.
Change-Id: I7342cc3133494f69b175b11b1f8342a0f40840e7
Signed-off-by: Patrick Georgi <pgeorgi@google.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/39086
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Jacob Garber <jgarber1@ualberta.ca>
Reviewed-by: Patrick Rudolph <siro@das-labor.org>
Diffstat (limited to 'util/lint')
0 files changed, 0 insertions, 0 deletions