diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2014-03-11 22:48:01 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2014-03-11 22:48:01 +0100 |
| commit | b01d915cb21f7a26b444ded668c9bbeb0384fe73 (patch) | |
| tree | aad876c48d470fc31af4d076529ce95356c2c6eb /faq/which_microkernel.mdwn | |
| parent | 0efbbada6335d00bc8a5cf90839fb7d69baeeeed (diff) | |
open_issues/nightly_builds_deb_packages: /proc/cmdline does work fine.
Diffstat (limited to 'faq/which_microkernel.mdwn')
0 files changed, 0 insertions, 0 deletions