Closes T154: pmap, kernel: Add support for write-combining on ia32/64
[barrelfish] / kernel / arch / x86_32 / init.c
2015-08-13 Moritz HoffmannCloses T154: pmap, kernel: Add support for write-combin...
2015-06-17 Moritz HoffmannT123: kernel: remove scc-specific code from x86_32... release2015-06-18
2015-06-17 Moritz HoffmannT121: kernel: fix BSP KCB creation on x86_32 and armv5
2015-06-16 Moritz Hoffmannkernel: Remove references arch_init to bspkcb which...
2015-06-16 Moritz Hoffmannkernel: fix object creation for KCB on arm, x86_32
2014-11-27 Timothy RoscoeEnsure all Mackerel files are included explicitly from...
2014-11-11 Gerd ZellwegerBoot driver for ARM can now boot a pandaboard core.
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-05 Gerd ZellwegerIntegrating coreboot for 32bit.
2013-10-24 Gerd ZellwegerRefactoring core boot-up logic in kernel.
2012-08-09 MothyRemoved some redundant (identical) files.
2012-08-06 MothyNew serial interface inside the CPU driver.
2012-05-10 Simon PeterRemoved RCK_EMU and updated SCC tech note.
2012-05-08 Simon PeterMerged with tip.
2012-05-07 Simon PeterRemoved broken SCC klog output mechanism. Makes more...
2012-02-05 Kornilios Kourtisnewlib,x86_32: use PRI{u,x}32, PRI{u,x}PTR, etc in...
2012-01-11 Andrew Baumannclean up and add some flexbility to mapping of APIC...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-18 Andrew Baumannadded 64-bit support to dite
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.