| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
| |
Signed-off-by: Jacob Gorm Hansen <jacobg@diku.dk>
|
|
|
|
|
|
| |
This is necessary when using mini-os as the foundation for a boot-loader.
Signed-off-by: Jacob Gorm Hansen <jacobg@diku.dk>
|
|
|
|
| |
Signed-off-by: Mark Williamson <mark.williamson@cl.cam.ac.uk>
|
|
|
|
|
|
|
| |
bind to interdomain event channels.
Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
|
|
|
|
|
| |
Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
|
|
|
|
|
| |
Signed-off-by: John D. Ramsdell <ramsdell@mitre.org>
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
|
|
|
|
| |
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
|
|
|
|
|
|
|
| |
void* pointer to handlers.
Signed-off-by: Steven Smith <sos22@cam.ac.uk>
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
|
|
|
|
|
|
|
|
| |
the system is started up. This prevents from getting spurious events
between hypercall to bind an event-channel and registering
appropriate event handler.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
|
|
|
|
|
|
|
|
|
|
| |
a) 64-bit switch_to scheduler macro (by Aravindh Puthiyaparambil)
b) implements 64-bit hypervisor_callback
c) fixes thread creation issues (thread_starter used to perform
initialisation)
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
|
|
|
|
|
|
|
| |
From: Grzegorz Milos <gm281@cam.ac.uk>
Signed-off-by: Keir Fraser <keir@xensource.com>
|
|
|
|
|
|
|
|
|
| |
a) in initialising new page table frames
b) in initialising idle thread.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
version compiles and starts up, but I'm not really sure how to test the new
xenbus implementation.
* Added unbind_evtchn
* Copied parts of the Linux spinlock implementation to make the changes to
xenbus compared to Linux smaller. Also added a dummy rwsem implementation.
* Updated the xenbus-files
Signed-off-by: Simon Kagstrom <simon.kagstrom@bth.se>
|
|
|
|
|
|
|
|
|
| |
and that XEN_VER in the __xen_guest section changed slightly. I've modified
the mini-os so that it at least compiles and boots again.
Signed-off-by: Simon Kagstrom <simon.kagstrom@bth.se>
|
|
|
|
|
|
|
|
|
|
|
| |
introduced
to simplify the porting. 64 bit version of Mini-os now compiles, but does not work
because of the pagetables and some bits of scheduler not being written.
Signed-off-by: Grzegorz Milos <gm281@cam.ac.uk>
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Many files:
Fix the minos license so that it is usable for XP and BSD ports.
minios.lds:
Rename: extras/mini-os/vmlinux.lds -> extras/mini-os/minios.lds
.del-list.h~d612a8726e8d42e:
Delete: extras/mini-os/h/list.h
.del-COPYING~1f9753354580bd13:
Delete: extras/mini-os/COPYING
|
|
move mini-os to extras directory
|