Root/
| 1 | #pypp 0 |
| 2 | // Iris: micro-kernel for a capability-based operating system. |
| 3 | // source/booter.ccp: Boot into another kernel. |
| 4 | // Copyright 2010 Bas Wijnen <wijnen@debian.org> |
| 5 | // |
| 6 | // This program is free software: you can redistribute it and/or modify |
| 7 | // it under the terms of the GNU General Public License as published by |
| 8 | // the Free Software Foundation, either version 3 of the License, or |
| 9 | // (at your option) any later version. |
| 10 | // |
| 11 | // This program is distributed in the hope that it will be useful, |
| 12 | // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 14 | // GNU General Public License for more details. |
| 15 | // |
| 16 | // You should have received a copy of the GNU General Public License |
| 17 | // along with this program. If not, see <http://www.gnu.org/licenses/>. |
| 18 | |
| 19 | #include <iris.hh> |
| 20 | #include <devices.hh> |
| 21 | |
| 22 | Iris::Num start (): |
| 23 | Iris::String data = Iris::my_parent.get_capability <Iris::String> () |
| 24 | Iris::Boot boot = Iris::my_parent.get_capability <Iris::Boot> () |
| 25 | //boot.boot (data, 0x81fff000, 0x81fff000) |
| 26 | boot.boot (data, 0xa1fff000, 0xa1fff000) |
| 27 | Iris::panic (0, "boot returns") |
| 28 | return 0 |
| 29 |
Branches:
master
