diff options
Diffstat (limited to '')
| -rw-r--r-- | config/gdbinit (renamed from util/gdbinit) | 0 | ||||
| -rw-r--r-- | config/grub.cfg (renamed from grub.cfg) | 0 | ||||
| -rw-r--r-- | config/kernel.ld (renamed from kernel/kernel.ld) | 0 | ||||
| -rw-r--r-- | config/user.ld (renamed from user/user.ld) | 0 |
4 files changed, 0 insertions, 0 deletions
diff --git a/util/gdbinit b/config/gdbinit index ca2c885..ca2c885 100644 --- a/util/gdbinit +++ b/config/gdbinit diff --git a/grub.cfg b/config/grub.cfg index 6cedb28..6cedb28 100644 --- a/grub.cfg +++ b/config/grub.cfg diff --git a/kernel/kernel.ld b/config/kernel.ld index 0806257..0806257 100644 --- a/kernel/kernel.ld +++ b/config/kernel.ld diff --git a/user/user.ld b/config/user.ld index 9e31dff..9e31dff 100644 --- a/user/user.ld +++ b/config/user.ld |