diff options
| author | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:05:17 +0200 |
|---|---|---|
| committer | natrixaeria <upezu@student.kit.edu> | 2019-10-24 18:05:17 +0200 |
| commit | 327aa4c75f6f0b788398eb33294454c65823631c (patch) | |
| tree | 0dc17c298bb55f46e5fd32a25f484a99acb14a34 /kernel/src/grub.cfg | |
| parent | 1b498e82be8e54a064743d389d371496f8d6bb5f (diff) | |
Add build kernel-iso option to build script
Diffstat (limited to 'kernel/src/grub.cfg')
0 files changed, 0 insertions, 0 deletions