Remove serial port hardcoding.
[barrelfish] / kernel /
2015-07-08 David CockRemove serial port hardcoding.
2015-06-19 Simon Gerberarmv8: cleanup.
2015-06-19 Simon Gerberarmv8: remove old GOT stuff.
2015-06-19 Simon Gerberarmv8: add definitions for VMSAv8-64 translation table...
2015-06-19 Simon Gerberarmv8: cpu driver improvements.
2015-06-18 Simon Gerberarmv8: non-functioning exception vectors.
2015-06-18 Simon Gerberarmv8: try to print things.
2015-06-11 Simon Gerberapm88xxxx: cpu driver: add serial init and printf.
2015-06-11 Simon Gerberapm88xxxx: implement kernel serial driver.
2015-06-03 Simon GerberInitial AArch64/ARMv8 skeleton.
2015-06-03 Simon Gerberarm: unify arm.h header for all arm 32bit flavours.
2015-06-01 Simon Gerberarmv5: improved page table dumping.
2015-06-01 Simon Gerber32bit: fixup printf format specifiers.
2015-05-26 Simon Gerberkernel: T78: add notice about bug report on failure.
2015-05-06 Simon Gerberdistops: fix typos and small bugs in delete state machine.
2015-05-04 Simon Gerberarmv7: fix #ifdef in paging_tlb_flush_range().
2015-05-04 Simon Gerberarmv5: make cpu driver run again.
2015-05-04 Simon GerberFix large page code so it compiles on 32bit / ARM.
2015-05-04 Simon GerberMerge large page support code.
2015-05-04 Simon Gerberx86_64: kernel: cleanup of page table dumping.
2015-05-04 Simon Gerberx86_64: kernel: cleanup trailing spaces.
2015-04-30 Simon Gerberx86_32: compiles with PAE enabled.
2015-04-30 Simon Gerberx86_32: kernel: cleaned up large page mapping code.
2015-04-30 Simon Gerberx86_32: kernel: added support for large pages to paging...
2015-04-30 Simon GerberFixed paging_tlb_flush_range to compile on x86_32.
2015-04-30 Simon Gerberkernel: x86_64: updated paging_dump_tables to understan...
2015-04-30 Simon Gerberx86_64: fixed unmap last leaf, added code to allow...
2015-04-30 Simon Gerberx86_64: fixed selective tlb flushing page size choice.
2015-04-30 Andreas DillierLargepage Code, arm addition
2015-04-30 Andreas DillierLargepage repository
2015-04-30 Andreas DillierAdded large page capabilities to the x86 architecture.
2015-03-09 Simon GerberT73: do full TLB flush when modifying flags.
2015-03-09 Simon Gerberkernel: x86_64: fix error passthrough in modify_flags.
2015-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2015-03-09 Simon GerberAdd get_absolute_time() syscall + implement std::chrono...
2015-02-03 Simon Gerberx86_64: added more descriptive error message in generic...
2015-01-13 Reto AchermannMerge branch 'master' of ssh://
2015-01-12 Simon Gerberx86_64: dynamically compute where kernel VA starts...
2015-01-12 Simon Gerbercap_delete_last: Handle LMP buffer overflow more gracef...
2015-01-12 Reto AchermannMerge commit '68aa7c3'
2014-12-18 Gerd Zellweger[clang] Fixes for the clang compiler.
2014-12-17 Zaheer ChothiaRemove <nodeputy.h> from default flags
2014-12-14 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-10 Gerd ZellwegerARMv5: Make sure menu.lst.modules is always in base...
2014-12-10 Gerd ZellwegerFix the USB code that was destroying my shell.
2014-12-10 Gerd ZellwegerMove code out of header file.
2014-12-10 Gerd ZellwegerRemove unneeded file (armv5 syscall uses arm/syscall.c)
2014-12-10 Gerd ZellwegerAdd BF_BINARY_PREFIX define to configure binary path...
2014-12-10 Gerd ZellwegerCompile bfscope for armv5 and exvlude bench for armv5.
2014-12-10 Gerd ZellwegerRemove unused armv5 files that do not compile.
2014-12-10 Gerd ZellwegerFix compiler errors in pit.c.
2014-12-05 Simon Gerberarmv5: fixed printf format specifier.
2014-12-05 Simon Gerberarmv5: Added condition when adding free phys regions.
2014-12-05 Reto Achermannremoved no neded files from K1OM kernel
2014-12-05 Reto AchermannMerge remote-tracking branch 'origin/master' into shoal
2014-12-04 Simon Gerberkernel: arm: removed left-over arm-specific sys_monitor...
2014-12-04 Reto Achermannmoved apic init() before the printf of the barrelfish...
2014-12-03 Simon GerberMerge branch 'master' into distops
2014-11-28 Reto Achermannseparating apic init and signalling boot core ready
2014-11-28 Reto Achermanncoreboot on the Xeon Phi:
2014-11-27 Reto Achermannmoved apic init() before the printf of the barrelfish...
2014-11-27 Timothy RoscoeEnsure all Mackerel files are included explicitly from...
2014-11-27 Reto AchermannMerge branch 'master' of ssh://
2014-11-26 Simon GerberMerge branch 'master' into distops
2014-11-26 Reto AchermannCleanup of Xeon Phi Kernel:
2014-11-25 Reto Achermannadapted kernel for K1OM
2014-11-25 Gerd ZellwegerMake sure Barrelfish CPU driver starting comes before...
2014-11-25 Gerd ZellwegerMake sure we can boot a core on ARMv7 gem5 again.
2014-11-24 Simon Gerberarm: Fixed printf format in fatal_kernel_fault handler.
2014-11-24 Simon Gerberarm_gem5: Added missing symbol relocation for kcb_current.
2014-11-24 Simon Gerberarm: Fixed calculation of ELF addrs for kernel PC values
2014-11-22 Gerd ZellwegerARMv7 GEM5 compiles again.
2014-11-22 Gerd ZellwegerCompile armv5 and runs memtest on Qemu.
2014-11-22 Gerd ZellwegerCompile code for ARM.
2014-11-21 Simon GerberFixed rbed scheduler code to still work in schedsim.
2014-11-21 Simon GerberFixed usage of kernel cap in armboot. Using IPICmd_Send...
2014-11-21 Simon GerberMake kernel create IPI cap which is passed to monitor.
2014-11-21 Simon GerberFactored out IPI sending invocations to their own cap...
2014-11-21 Simon GerberRemoved function declearations for non-existant functions.
2014-11-20 Gerd ZellwegerMerge with local master.
2014-11-20 Gerd ZellwegerMerge branch 'master' of
2014-11-18 Simon GerberWorkaround for perfmon_amd_supported() causing page...
2014-11-11 Gerd ZellwegerRemove unneeded code.
2014-11-11 Gerd ZellwegerMake sure it compiles on x86 again.
2014-11-11 Gerd ZellwegerRemove file twice that is duplicated 3x.
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
2014-11-11 Simon GerberCleaned up page cn and physaddr cn creation code.
2014-11-10 Simon Gerberarm: unified and deduplicated kernel-side syscall handling.
2014-11-10 Gerd ZellwegerInitialize bsp KCB on ARM.
2014-11-10 Gerd ZellwegerMake sure ARM kernels are working agian.
2014-11-10 Gerd ZellwegerPut KCB syscalls in platform independent kernel source.
2014-11-10 Gerd ZellwegerAdd support to identify KCB on 32bit and correctly...
2014-11-10 Gerd ZellwegerMove boot-up assembly to usr/drivers.
2014-11-10 Gerd ZellwegerRemmove bo longer used code.
2014-11-08 Gerd ZellwegerReinstantiate printing of kernel start address.
2014-11-07 Gerd ZellwegerMake sure 32bit is booting kernels.
2014-11-07 Gerd ZellwegerFix invocations, added missing syscall handler
2014-11-07 Stefan KaestleIncreased boot timeout for cores
2014-11-07 Simon Gerberarmv5: fixed build errors.
2014-11-07 Gerd ZellwegerAdd KCB to 32bit IRQ code.