]> xenbits.xensource.com Git - people/pauldu/mini-os.git/summary
projects / people / pauldu / mini-os.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerPaul Durrant
last changeWed, 22 Feb 2017 12:23:16 +0000 (12:23 +0000)
URLhttps://xenbits.xen.org/git-http/people/pauldu/mini-os.git
http://xenbits.xen.org/git-http/people/pauldu/mini-os.git
git://xenbits.xen.org/people/pauldu/mini-os.git
shortlog
2017-02-22 Paul DurrantInclude libxendevicemodel with libxc master commit | commitdiff | tree
2016-12-14 Wei Liubuild: prepend OBJ_DIR to linker script commit | commitdiff | tree
2016-12-03 Juergen Grossminios: remove reference to xensource.com commit | commitdiff | tree
2016-09-28 Juergen Grossminios: fix build issue with xen_*mb defines commit | commitdiff | tree
2016-09-27 Juergen Grossminios: make mini-os_app.o depend on included xen libraries commit | commitdiff | tree
2016-09-06 Wei LiuAdd travis.yml and travis-build script commit | commitdiff | tree
2016-09-05 Juergen Grossmini-os: add comments in Config.mk regarding new config... commit | commitdiff | tree
2016-09-05 Juergen Grossmini-os: update README to reflect recent changes commit | commitdiff | tree
2016-09-05 Juergen Grossmini-os: add testbuild target to Makefile commit | commitdiff | tree
2016-09-05 Juergen Grossmini-os: fix builds with uncommon config settings commit | commitdiff | tree
2016-09-02 Juergen Grossmini-os: support "make config" for out-of-tree users commit | commitdiff | tree
2016-09-02 Juergen Grossmini-os: provide irq on/off/save/restore functions... commit | commitdiff | tree
2016-09-02 Juergen Grossmini-os: support newer xen interface commit | commitdiff | tree
2016-08-30 Juergen Grossmini-os: don't get xenbus parameters if xenbus is disabled commit | commitdiff | tree
2016-08-30 Juergen Grossmini-os: partially revert "remove using start_info... commit | commitdiff | tree
2016-08-30 Wei Liugitignore: ignore files generated by various indexing... commit | commitdiff | tree
...
heads
8 years ago master shortlog | log | tree
Unnamed repository; edit this file 'description' to name the repository.