Ronald G. Minnich 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 7 years ago
..
root ac71e28b6c fixfmt: with this last round of changes I can boot. 6 years ago
.gitignore 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
BUILD 5835207bef sdata: remove sdata.c from the build. 6 years ago
FIX.sed 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
Linux 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
acore.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
acore.c.old 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
acpi.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
amd64.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
amd64coreboot.json 5835207bef sdata: remove sdata.c from the build. 6 years ago
apic.c c4d77c511b ACPI: Set up APIC LVT from the ACPI NMI records 6 years ago
apic.h b385a94511 More deanonymization. 6 years ago
arch.c 8297795876 Revert "build: added new build files" 6 years ago
archamd64.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
asm.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
backtrace.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
backtrace.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
boot.fs 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
build.json 5835207bef sdata: remove sdata.c from the build. 6 years ago
cbscreen.c 8297795876 Revert "build: added new build files" 6 years ago
cbvga.c 8297795876 Revert "build: added new build files" 6 years ago
cga.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
clean.json 10e3715241 Fixing some json classic. 6 years ago
core.json 552e7c7428 ACPI: set the mode to _PIC 6 years ago
coreboot.c 8297795876 Revert "build: added new build files" 6 years ago
cpuidamd64.S 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
ctype.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
dat.h 42eba8ecad Revert to known-good NIX scheduler from not-so-good AMP scheduler 6 years ago
devacpi.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
devarch.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
deviig.c 9efcba182a Fix declarations to be more robust. 6 years ago
devpmc.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
devusb.c ac71e28b6c fixfmt: with this last round of changes I can boot. 6 years ago
devvga.c 206b0fed8b fixfmt: more fixes. Also, always include ratrace in ramfs 6 years ago
entry.S 4323fed705 Change entry.S to not need .code16, which clang does not support. 6 years ago
ether8139.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
ether82563.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
etherbcm.c.NO ac71e28b6c fixfmt: with this last round of changes I can boot. 6 years ago
etherif.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
fns.h 10c2aeaf71 PCI: get rid of old $PIR-related functions; clean up printing. 6 years ago
fpu.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
fpu.c.old 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
i8254.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
i8259.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
init9.c 73b43a4d82 Fix init9 setup. 6 years ago
inith.json 6344fae5f5 de-anon for kernel is done. 6 years ago
io.h 9f6b7cf656 ACPI: print more useful information from PCI. 6 years ago
ioapic.c c4d77c511b ACPI: Set up APIC LVT from the ACPI NMI records 6 years ago
iob.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
k8cpu 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
k8cpufs 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
k8cpukexec 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
kernel.ld 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
l64acidt.S 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
l64fpu.S fdd441a34d Final change to make clang build not fail: fxrstor64 and fxsave64 6 years ago
l64idt.S 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
l64syscall.s 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
l64v.S 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
l64vsyscall.S 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
main.c 28ac253429 ACPI: run aml (it fails) to set _PIC to 1 6 years ago
map.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
mem.h de6c5e1b19 ether82563.c: bring in Geoff's latest version 6 years ago
memory.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
mmu.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
mouse.c 8297795876 Revert "build: added new build files" 6 years ago
mp.c a1da9b3333 ACPI: Force the ISABUSNO to 255 6 years ago
msi.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
multiboot.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
nixtype 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
physalloc.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
pmcio.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
qmalloc.c 6c10e3e0c0 fixfmt: The final final set of changes. 6 years ago
ratrace.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
screen.c 8297795876 Revert "build: added new build files" 6 years ago
screen.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
sdata.c b826b5c2f0 Fix compiler errors found by clang 3.8.0-1 6 years ago
sipi.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
startdisk 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
syscall.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
tcore.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
trap.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
uncached.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
usbehci.h 094c54cc21 kernel: default kernel name is "harvey" 6 years ago
usbehcipc.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
usbohci.c 0f0d5bf7eb fmt: another round of format fixes for %#ul*x to remove the u 6 years ago
usbuhci.c f91dfdcba2 fixfmt: kernel now cleaned 6 years ago
vga.c cfee447cb9 clang: fix longstanding bug in vga.c with incorrect index 6 years ago
vgax.c 8297795876 Revert "build: added new build files" 6 years ago
virtio_ring.h f18c6e30c2 Clean up and rearrange the comments. 6 years ago
vsvm.c 094c54cc21 kernel: default kernel name is "harvey" 6 years ago