diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-06 19:56:31 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-06 19:56:31 (EDT) |
| commit | bc43fd202af436215c915b9afc245a7eb21f5768 (patch) | |
| tree | 6eece17c0d808e970e5e15d9a115e2aff13909f6 | |
| parent | 88a8d56b9227e009e5365ed5f27e1cbd78b2108c (diff) | |
Add config for linux-libre 3.10.38~gnu.
| -rw-r--r-- | src/linux-libre/3.10.38~gnu/config | 2 | ||||
| -rw-r--r-- | src/linux-libre/3.10.38~gnu/image | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/linux-libre/3.10.38~gnu/config b/src/linux-libre/3.10.38~gnu/config new file mode 100644 index 0000000..8b4ce01 --- /dev/null +++ b/src/linux-libre/3.10.38~gnu/config @@ -0,0 +1,2 @@ +# config +# The "dev" platform has no linux-image package. Therefore, this file is empty. diff --git a/src/linux-libre/3.10.38~gnu/image b/src/linux-libre/3.10.38~gnu/image new file mode 100644 index 0000000..f988d51 --- /dev/null +++ b/src/linux-libre/3.10.38~gnu/image @@ -0,0 +1,2 @@ +# image +# The "dev" platform has no linux-image package. Therefore, this file is empty. |