kaf24@freefall.cl.cam.ac.uk
e2b5eae9ba
bitkeeper revision 1.1159.1.142 (413fa2cd-7ateOlBoBUdfXmFsZV9Yw)
...
Fix build error.
2004-09-09 00:24:45 +00:00
kaf24@freefall.cl.cam.ac.uk
ce0e436c08
bitkeeper revision 1.1159.1.141 (413f74fcTwJtxfSqPOLD17o7tsdJbg)
...
Freed PTEs now pass through the TLB-gathering mechanism, as is correct.
We hook them back off into the pte caching allocator using the
SetForeignHeap() mechanism that I added for the network backend.
2004-09-08 21:09:16 +00:00
kaf24@freefall.cl.cam.ac.uk
22743fd8df
bitkeeper revision 1.1159.1.140 (413f68b3CREFxIOSuiOduTrHnibufQ)
...
Fix ClearForeignPage defintion in Linux 2.4 and 2.6.
2004-09-08 20:16:51 +00:00
kaf24@freefall.cl.cam.ac.uk
8ef55124c3
bitkeeper revision 1.1159.1.139 (413f4325XttGg5bPpva0Ul0ivQSUGA)
...
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into freefall.cl.cam.ac.uk:/local/scratch/kaf24/xeno
2004-09-08 17:36:37 +00:00
kaf24@freefall.cl.cam.ac.uk
1a86c2ca60
bitkeeper revision 1.1159.74.1 (413f431aIw1lNSoAl0H63fnzXoSZ8Q)
...
Fix TLB flushing on page-type changes. In particular, page-table pages
must trigger a flush when their type changes. To simplify the code we also
flush for LDT/GDT pages, but they will change type very infrequently.
2004-09-08 17:36:26 +00:00
cl349@freefall.cl.cam.ac.uk
88ee7951d3
bitkeeper revision 1.1159.1.138 (413f3575zU7tYDi_ptlg-r1nAnN1Ww)
...
Reset PAGE_OFFSET to 0xc0100000 and use VIRT_BASE=0xc0000000.
2004-09-08 16:38:13 +00:00
cl349@freefall.cl.cam.ac.uk
5f1960350f
bitkeeper revision 1.1159.1.137 (413f0665_0jsl7Ps44McAAquhcKOIQ)
...
Writable pagetables v2.
2004-09-08 13:17:25 +00:00
cl349@freefall.cl.cam.ac.uk
c3b38c7846
bitkeeper revision 1.1159.1.136 (413ed5baHUBJ5EA2PO0yZ_45_I8a5w)
...
g/c support for multiple inactive writable pagetables.
Also use consistent names for bookkeeping data.
2004-09-08 09:49:46 +00:00
kaf24@freefall.cl.cam.ac.uk
d86aa0358c
bitkeeper revision 1.1159.1.135 (413e190eP4v_o8snM-gc3l9__yG40g)
...
Fix a compile warning.
2004-09-07 20:24:46 +00:00
cl349@freefall.cl.cam.ac.uk
ff627aac36
bitkeeper revision 1.1159.1.134 (413de87ejWYLp0qBEU80dbncZiMBFA)
...
g/c PTWR_TRACK_DOMAIN
2004-09-07 16:57:34 +00:00
cl349@freefall.cl.cam.ac.uk
d9effa026d
bitkeeper revision 1.1159.1.133 (413de79eqqiR0ctiwmp2JOckLG74Pw)
...
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xeno.bk-26dom0
into freefall.cl.cam.ac.uk:/local/scratch/cl349/xeno.bk-26dom0
2004-09-07 16:53:50 +00:00
cl349@freefall.cl.cam.ac.uk
9119127070
bitkeeper revision 1.1159.73.2 (413de7819JSp6BvMAxNzNaHhtLuR3Q)
...
Tabs -> Spaces and other whitespace cleanup.
2004-09-07 16:53:21 +00:00
cl349@freefall.cl.cam.ac.uk
4048c56e90
bitkeeper revision 1.1159.1.132 (413de4a3QR-RvHT7TfYwUW7cOo0nzg)
...
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xeno.bk-26dom0
2004-09-07 16:41:07 +00:00
cl349@freefall.cl.cam.ac.uk
8cdd551ccf
bitkeeper revision 1.1159.73.1 (413de483EcoXREVUizJpurRwrbzoLA)
...
Fast-path pagetable updates which change a mapping from writable to readonly.
2004-09-07 16:40:35 +00:00
cl349@freefall.cl.cam.ac.uk
f11bc5a8fc
bitkeeper revision 1.1159.1.131 (413ddc610qK3tZi2_2-e23mt5avoNA)
...
Load (Net)BSD symbol table from ELF image if requested.
2004-09-07 16:05:53 +00:00
cl349@freefall.cl.cam.ac.uk
2a23966f2b
bitkeeper revision 1.1159.1.130 (413dab6fQ1jHzBNKBK5rX_nzCQLANA)
...
Make writable pagetables a domain creation option.
2004-09-07 12:37:03 +00:00
cl349@freefall.cl.cam.ac.uk
8be47dac0f
bitkeeper revision 1.1159.1.129 (413d868bPMWkW0lZg_MuAYIrmx7XDQ)
...
Make writable pagetables a domain creation option.
2004-09-07 09:59:39 +00:00
cl349@labyrinth.cl.cam.ac.uk
d8fb4ece8d
bitkeeper revision 1.1159.1.128 (413cb8d36YrJe8ra_UvZN0wN9qeQWg)
...
Allow Linux and NetBSD builds to co-exist.
2004-09-06 19:21:55 +00:00
cl349@labyrinth.cl.cam.ac.uk
e225acb39e
bitkeeper revision 1.1159.1.127 (413cb655B-pXolV76jppJJyH2EFWkw)
...
Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xeno.bk-nbsd
into labyrinth.cl.cam.ac.uk:/local/scratch/cl349/xeno.bk-nbsd
2004-09-06 19:11:17 +00:00
cl349@labyrinth.cl.cam.ac.uk
31ae3c19a8
bitkeeper revision 1.1159.72.3 (413cb565kAu26gtMpvumani1Zx6Vjw)
...
Add new files in NetBSD for Xen2.0.
2004-09-06 19:07:17 +00:00
cl349@labyrinth.cl.cam.ac.uk
3ebb973d50
bitkeeper revision 1.1159.72.2 (413cb4b0nYQ7KFQbxIn6g-4lsRAgbQ)
...
Add sparse tree for NetBSD.
2004-09-06 19:04:16 +00:00
cl349@labyrinth.cl.cam.ac.uk
2a632d88f7
bitkeeper revision 1.1159.72.1 (413cb1f9MtRHM7cQFiJRcJ1gYUPxdw)
...
Add NetBSD support.
2004-09-06 18:52:41 +00:00
cl349@freefall.cl.cam.ac.uk
efd33e8972
bitkeeper revision 1.1159.1.126 (413cb0edcNgU8KKUhhZaxIAIerLhcA)
...
Merge freefall.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into freefall.cl.cam.ac.uk:/auto/groups/xeno/users/cl349/BK/xeno.bk-nbsd
2004-09-06 18:48:13 +00:00
iap10@labyrinth.cl.cam.ac.uk
43d004d4bc
bitkeeper revision 1.1159.69.21 (413c9be3ZggtSn3FWCDWCAl_6chs9w)
...
keyhandler to perform a debug audit of domain memory, checking the page type and
counts are consistent with the pagetable state. Its quite verbose and
prints out details of all interesting pages.
(e.g. pages shared between domains or used for LDT/GDTs).
2004-09-06 17:18:27 +00:00
cl349@freefall.cl.cam.ac.uk
82239e3ad0
bitkeeper revision 1.1159.1.125 (413c8817QeGloXcrun_4wmbHPC3KYw)
...
Avoid warning message when validating a linear pagedirectory mapping.
2004-09-06 15:53:59 +00:00
cl349@freefall.cl.cam.ac.uk
ea5753a77c
bitkeeper revision 1.1159.1.124 (413c80f8x6TVGW53WE2vlecpb4z_KA)
...
Avoid warning message when validating a linear pagedirectory mapping.
2004-09-06 15:23:36 +00:00
cl349@freefall.cl.cam.ac.uk
fb505bc4b0
bitkeeper revision 1.1159.69.20 (413c7829P-RU1PkUqzwGG3rQ_fI5Qg)
...
Manage L1 pagetables in a kmem_cache, which allows us to keep the
pages pinned while they are not used.
2004-09-06 14:46:01 +00:00
cl349@freefall.cl.cam.ac.uk
1f11b35026
bitkeeper revision 1.1159.69.19 (413c2ec0U4csp-bDtIykYOqnQQWb7A)
...
Ensure that unsupported features don't creep into the cpu_caps array.
(without increasing the number of changed files)
2004-09-06 09:32:48 +00:00
kaf24@freefall.cl.cam.ac.uk
a63aa1bc35
bitkeeper revision 1.1159.69.18 (413baa1bXGfcJkRulx6s9wKLDL1Kkg)
...
Clean up pagetable bootstrap in Linux 2.6. Write-protecting the two
pagetables is now clearer, and we properly deallocate the old pagetables
when we are done with them.
2004-09-06 00:06:51 +00:00
kaf24@freefall.cl.cam.ac.uk
40e8096b2d
bitkeeper revision 1.1159.69.17 (413b5ab8tE2tTd_Ht7wxKU0Uktv2_w)
...
Fix WBINVD uses.
2004-09-05 18:28:08 +00:00
kaf24@freefall.cl.cam.ac.uk
c3565a2b1d
bitkeeper revision 1.1159.69.16 (413aa1d0GpVAPcEe9OlMHIT6xiUM_w)
...
Patch AGP and DRM video drivers to be (hopefully) safe for Xen.
These patches must be applied manually for now:
cd linux-2.6.8.1-xen0 ; patch -p1 <../linux-2.6.8.1-patches/*.patch
2004-09-05 05:19:12 +00:00
kaf24@freefall.cl.cam.ac.uk
a73326ecce
bitkeeper revision 1.1159.69.15 (413a8e98X2LuwKBOkOzn7uAjeL2KWA)
...
Add full driver configurability for device-capable Linux.
2004-09-05 03:57:12 +00:00
kaf24@freefall.cl.cam.ac.uk
8476b9f4c6
bitkeeper revision 1.1159.69.14 (413a6308LJJj1t5B4TsyMIFyWP356w)
...
Ensure that unsupported features don't creep into the cpu_caps array.
2004-09-05 00:51:20 +00:00
kaf24@scramble.cl.cam.ac.uk
34a5c2ef0a
bitkeeper revision 1.1159.69.13 (413a58ee74ENA9qdHnGab6iTYgHQRA)
...
Fix formatting in debug message
2004-09-05 00:08:14 +00:00
kaf24@scramble.cl.cam.ac.uk
42fd3b7460
bitkeeper revision 1.1159.69.12 (413a4a15Z23E3TdWcslHMKLH4O-Gww)
...
Fix timestamp-scaling calculations in Linux 2.4.
Time now progresses at the correct rate!
2004-09-04 23:04:53 +00:00
kaf24@scramble.cl.cam.ac.uk
3660281623
bitkeeper revision 1.1159.69.11 (413a3592ceCfqW4DvqOdKq04_bXOig)
...
Fix our freeing of domain memory when a domain dies.
2004-09-04 21:37:22 +00:00
kaf24@camelot.eng.3leafnetworks.com
5e2bad938a
bitkeeper revision 1.1159.69.10 (413a1e6ckNNgvyiZ6JU5_vjN5ITSuA)
...
Add pinning of L1 table sback in, as it helps 2.4 performance. At the same
time I've fixed the 'mutable backptr' support in Xen.
2004-09-04 19:58:36 +00:00
kaf24@camelot.eng.3leafnetworks.com
a5ab702e1c
bitkeeper revision 1.1159.69.9 (413a0a4d7ODoJ_4kti38jM2_4EooQA)
...
Cset exclude: kaf24@camelot.eng.3leafnetworks.com |ChangeSet|20040903222602|39015
2004-09-04 18:32:45 +00:00
kaf24@freefall.cl.cam.ac.uk
e686332166
bitkeeper revision 1.1159.69.8 (413960891Us2H0wgOni9gC4Dvk3uCw)
...
Fix I/O mapping in Xen/Linux.
2004-09-04 06:28:25 +00:00
kaf24@scramble.cl.cam.ac.uk
8e90e37e6d
bitkeeper revision 1.1159.69.7 (41394659gzch_AlptZgctoWrGnWAGw)
...
Fix WBINVD by adding a new hypercall.
Various drivers still use wbinvd directly rather than using the
helper macro in system.h. They should be fixed by sending patches
to the appropriate maintainers (e.g., DRM, AGP, ...).
2004-09-04 04:36:41 +00:00
kaf24@camelot.eng.3leafnetworks.com
534ffcb416
bitkeeper revision 1.1159.69.6 (4138ef8dDCN5JpkZV5nXmG3maQGSKw)
...
Merge ssh://scramble.cl.cam.ac.uk//usr/groups/xeno/BK/xeno.bk
into camelot.eng.3leafnetworks.com:/home/kaf24/xeno
2004-09-03 22:26:21 +00:00
kaf24@camelot.eng.3leafnetworks.com
9f6b2232e1
bitkeeper revision 1.1159.71.1 (4138ef7arWNBBMfQRCJaRyf93H0eqw)
...
Remove L1 PT pinning from Xen. Clean up the fixes for writable
page tables.
2004-09-03 22:26:02 +00:00
iap10@labyrinth.cl.cam.ac.uk
efd9ae8aa1
bitkeeper revision 1.1159.69.5 (4138e882jA1YaR_OfTfNHe_uT4PDIg)
...
trivial
2004-09-03 21:56:18 +00:00
iap10@labyrinth.cl.cam.ac.uk
396035226f
bitkeeper revision 1.1159.69.4 (4138e7ddHCxMMHu0h-Wfahl7MyQaLQ)
...
Merge ssh://xenbk@gandalf.hpl.hp.com//var/bk/xeno-unstable.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk
2004-09-03 21:53:33 +00:00
iap10@labyrinth.cl.cam.ac.uk
b9ef5137a5
bitkeeper revision 1.1159.69.3 (4138d7a65FvXU3lh0Vx8Nsl4KhPxGw)
...
Fix potential security hole in writeable pagetable implementation:
We wern't ensuring that that L1 pages' VA backpointer is immutable
after the backpointer is initialised when the page first becomes
linked into a pagetable. The backpointer can only be released after
the type count drops to zero (or 1 if the page is pinned).
In summary: We now ensure that if an L1 page is used in multiple
pagetables it must be at the same virtual address in all of them,
and that L1 pages can only be used once in any given pagetable.
None of these extra rules should be a problem for any OS.
2004-09-03 20:44:22 +00:00
mjw@wray-m-3.hpl.hp.com
353cb77788
bitkeeper revision 1.1159.70.3 (41389f22BlnxYbup7d6jcZXvICR6qg)
...
Fix problem with domain shutdown events.
2004-09-03 16:43:14 +00:00
iap10@labyrinth.cl.cam.ac.uk
c19944ff8d
bitkeeper revision 1.1159.69.2 (41385e204Qryz7kXFra9nLruJLGcgw)
...
Merge ssh://xenbk@gandalf.hpl.hp.com//var/bk/xeno-unstable.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk
2004-09-03 12:05:52 +00:00
mjw@wray-m-3.hpl.hp.com
f29a780db6
bitkeeper revision 1.1159.70.2 (41385ba0etIbutJgbQZhd1cloVaZyA)
...
Merge xenbk@gandalf:/var/bk/xeno-unstable.bk
into wray-m-3.hpl.hp.com:/home/mjw/repos-bk/xeno-unstable.bk
2004-09-03 11:49:52 +00:00
xenbk@gandalf.hpl.hp.com
dcbd07fbab
bitkeeper revision 1.1159.70.1 (41385b9fzIngCKMgQ1v_yLHcILNCiA)
...
Merge http://xen.bkbits.net:8080/xeno-unstable.bk
into gandalf.hpl.hp.com:/var/bk/xeno-unstable.bk
2004-09-03 11:55:11 +00:00
iap10@labyrinth.cl.cam.ac.uk
5fdce21f97
bitkeeper revision 1.1159.69.1 (413853a0gSBg7s-Zx8jozT3p3xIOXg)
...
Merge ssh://xenbk@gandalf.hpl.hp.com//var/bk/xeno-unstable.bk
into labyrinth.cl.cam.ac.uk:/auto/anfs/scratch/labyrinth/iap10/xeno-clone/xeno.bk
2004-09-03 11:21:04 +00:00