Index of /debian/ocp/2020b/not/boot/

../
Makefile                                           24-May-2020 23:40                 940
compdate.c                                         24-May-2020 23:40                1189
console.c                                          24-May-2020 23:40                3504
console.h                                          24-May-2020 23:40                2597
kickload.c                                         24-May-2020 23:40               14536
plinkman.c                                         24-May-2020 23:40                8110
plinkman.h                                         24-May-2020 23:40                1139
plinkman_end.c                                     24-May-2020 23:40                 999
pmain.c                                            24-May-2020 23:40               20370
pmain.h                                            24-May-2020 23:40                 273
psetting.c                                         24-May-2020 23:40               18313
psetting.h                                         24-May-2020 23:40                1362