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 | 282304e5d9d0636eb18eb699134410c6ca9e1537 (patch) | |
| tree | 8d8de252e1a43276118161d217e57ccd52cd17f0 /kern/init.c | |
| parent | 987d91a80b343d0ad3ba2b4785b03dcf9cf7fe72 (diff) | |
tools/build_configs.py: fix filters about the number of CPUs
Diffstat (limited to 'kern/init.c')
0 files changed, 0 insertions, 0 deletions