2
I Use This!
Inactive

Commits : Listings

Analyzed about 21 hours ago. based on code collected 2 days ago.
Mar 27, 2023 — Mar 27, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Document that although it is started, x86_64 port is not finisedh More... almost 14 years ago
add __isoc99_sscanf and __fpclassify stubs for ocaml 3.11 More... almost 14 years ago
add calloc, strtod, strtol, fix trigo funcs into just using gcc builtins, propagate fixes to/from kernel-clean More... over 14 years ago
fix grub checks More... about 15 years ago
drop spurious clobbers More... over 15 years ago
x86_64 page table support More... over 15 years ago
initial x86_64 port: mostly i686 files, plus a few modifications. Still needs quite some work on idt/gdt/ldt and the boot code (we need to setup an initial 64bit page table) More... over 15 years ago
no need for a structure on i386, the =A constraint is exactly what we need More... over 15 years ago
util-linux doesn't have arch any more More... about 16 years ago
dmesg is in / More... about 16 years ago
commit du patch de youpi sur gcc 4.1 More... over 17 years ago
hang does not return. More... almost 18 years ago
Better implementation of getrusage. More... almost 18 years ago
Use new option -net none of qemu instead of -dummy-net. More... almost 18 years ago
Added needed fake getrusage function. More... almost 18 years ago
Make kthread build again More... almost 18 years ago
check that console is here... More... over 18 years ago
some debug, in case mlkernel_entry is not registered... More... over 18 years ago
free(NULL) is permitted More... over 18 years ago
attention sigaltstack peut avoir oss NULL More... over 18 years ago
pour éviter de nouvelles bourdes More... over 18 years ago
Make sure we don't change anything if /usr/share/misc/pci.ids cannot be read. More... over 18 years ago
recompute pci_ids.ml when pci_ids.ml.in is modified More... over 18 years ago
-n is a proper option of lspci now. More... over 18 years ago
Fix old perl-style comment that prevented gen_pci_ids.pl from working fine. More... over 18 years ago
Add 'lspci-n' support (without space between 'lspci' and '-n'). More... over 18 years ago
Bon revert du machin jusqu'à ce que je puisse avoir de vraies explications (youpi ?) More... over 18 years ago
Pas de printf dans libc-dummy sauf le c_printf pour debug, reste inutile More... over 18 years ago
Make clean complet dans kernel-clean More... over 18 years ago
Fix the bug that prevented funk from booting since lots of stuff were moved to ../drivers in revision 659: console needs the "unsafe" compile flags but OCAMLFLAGS_<path> were not updated. More... over 18 years ago