diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-09-27 20:16:21 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-09-27 20:16:21 +0200 |
| commit | f0e14d97a5647c53c42cc04579e66934fde3c775 (patch) | |
| tree | 8d8de252e1a43276118161d217e57ccd52cd17f0 /kern/printf.c | |
| parent | 2c6a697b6403fb439d2a2b58665f2675a12672d9 (diff) | |
tools/build_configs.py: fix filters about the number of CPUs
Diffstat (limited to 'kern/printf.c')
0 files changed, 0 insertions, 0 deletions