git.barrelfish.org Git - barrelfish/history

2019-03-05	Lukas Humbel	armv7: Enable serial driver on pandaboard	blob \| commitdiff
2017-09-27	Simon Gerber	armv7,armv8: Add process manager to targets and menu...	blob \| commitdiff \| diff to current
2016-11-21	Moritz Hoffmann	kernel/logging: Change default log level to LOG_NOTE	blob \| commitdiff \| diff to current
2016-09-02	David Cock	ARMv7: Don't spawn cores on Zynq7000 - it's broken.	blob \| commitdiff \| diff to current
2016-09-01	David Cock	ARMv7: Added coreboot for Zynq7000 - doesn't work yet.	blob \| commitdiff \| diff to current
2016-08-02	David Cock	ARMv7: Add SKB records for ARMv7 cores in Kaluga.	blob \| commitdiff \| diff to current
2016-07-28	David Cock	ARMv7: Rewrote serial drivers on ARM.	blob \| commitdiff \| diff to current
2016-07-25	Reto Achermann	hake: adding generic modules to menu.lst files for...	blob \| commitdiff \| diff to current
2016-07-15	David Cock	ARMv7: Unified image rules, and added .bin target	blob \| commitdiff \| diff to current

Barrelfish OS git repo