]> xenbits.xensource.com Git - osstest/rumprun.git/commit
projects / osstest / rumprun.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 444cb6d) | patch
mini-os side no longer needs access to userland headers
authorAntti Kantee <pooka@iki.fi>
Mon, 12 Oct 2015 18:00:17 +0000 (18:00 +0000)
committerAntti Kantee <pooka@iki.fi>
Mon, 12 Oct 2015 18:00:17 +0000 (18:00 +0000)
commit0fd467bfbd0dd7d334f1c9f35b9fb941a83c8d19
treecd1a85ee51510c0d0e9623aaf0896cedb3f54cb4tree
parent444cb6db472b0d9cb721d4e36203634f796d8913commit | diff
mini-os side no longer needs access to userland headers

!
platform/xen/xen/Makefile diff | blob | blame | history
platform/xen/xen/arch/x86/Makefile diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.