├── README.md
├── nommu.xml
├── LICENSE
└── default.xml


/README.md:
--------------------------------------------------------------------------------
 1 | # L4Re manifest
 2 | 
 3 | This package contains the ham manifest which can be used to checkout and manage
 4 | the L4Re operating system git repositories.
 5 | 
 6 | ## The L4Re Operating System
 7 | 
 8 | The [L4Re Operating System Framework](https://l4re.org/) provides the
 9 | building blocks for systems with real-time, security, safety and
10 | virtualization requirements. L4Re is a microkernel architecture and provides the
11 | infrastructure and components needed to implement any such architectures.
12 | 
13 | Please find more information on [l4re.org](https://l4re.org).
14 | 


--------------------------------------------------------------------------------
/nommu.xml:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="UTF-8"?>
 2 | <manifest>
 3 |   <remote
 4 |     name="origin"
 5 |     fetch=".."
 6 |     review=".."
 7 |   />
 8 |   <default
 9 |     revision="t2024-09-04-nommu"
10 |     remote="origin"
11 |   />
12 |   <project name="bootstrap" path="l4/pkg/bootstrap" />
13 |   <project name="drivers-frst" path="l4/pkg/drivers-frst" />
14 |   <project name="fiasco" path="fiasco" />
15 |   <project name="l4re-core" path="l4/pkg/l4re-core" />
16 |   <project name="libfdt" path="l4/pkg/libfdt" />
17 |   <project name="mk" path="l4" />
18 |   <project name="tinit" path="l4/pkg/tinit" />
19 |   <project name="tvmm" path="l4/pkg/tvmm" />
20 | </manifest>
21 | 


--------------------------------------------------------------------------------
/LICENSE:
--------------------------------------------------------------------------------
 1 | MIT License
 2 | 
 3 | Permission is hereby granted, free of charge, to any person obtaining a copy
 4 | of this software and associated documentation files (the “Software”), to
 5 | deal in the Software without restriction, including without limitation the
 6 | rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
 7 | sell copies of the Software, and to permit persons to whom the Software is
 8 | furnished to do so, subject to the following conditions:
 9 | 
10 | The above copyright notice and this permission notice shall be included in
11 | all copies or substantial portions of the Software.
12 | 
13 | THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
14 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
15 | FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
16 | AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
17 | LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
18 | FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
19 | IN THE SOFTWARE.
20 | 


--------------------------------------------------------------------------------
/default.xml:
--------------------------------------------------------------------------------
 1 | <?xml version="1.0" encoding="UTF-8"?>
 2 | <manifest>
 3 |   <remote
 4 |     name="origin"
 5 |     fetch=".."
 6 |     review=".."
 7 |   />
 8 |   <default
 9 |     remote="origin"
10 |   />
11 |   <project name="acpica" path="l4/pkg/acpica" />
12 |   <project name="ada" path="l4/pkg/ada" />
13 |   <project name="ahci-driver" path="l4/pkg/ahci-driver" />
14 |   <project name="atkins" path="l4/pkg/atkins" />
15 |   <project name="bcm2835-mbox-driver" path="l4/pkg/bcm2835-mbox-driver" />
16 |   <project name="bootstrap" path="l4/pkg/bootstrap" />
17 |   <project name="cons" path="l4/pkg/cons" />
18 |   <project name="drivers-frst" path="l4/pkg/drivers-frst" />
19 |   <project name="emmc-driver" path="l4/pkg/emmc-driver" />
20 |   <project name="gnu-efi" path="l4/pkg/gnu-efi" />
21 |   <project name="fiasco" path="fiasco" />
22 |   <project name="hello" path="l4/pkg/hello" />
23 |   <project name="i2c-driver" path="l4/pkg/i2c-driver" />
24 |   <project name="io" path="l4/pkg/io" />
25 |   <project name="l4_virtio-net-switch" path="l4/pkg/virtio-net-switch" />
26 |   <project name="l4re-core" path="l4/pkg/l4re-core" />
27 |   <project name="l4virtio" path="l4/pkg/l4virtio" />
28 |   <project name="libblock-device" path="l4/pkg/libblock-device" />
29 |   <project name="libfdt" path="l4/pkg/libfdt" />
30 |   <project name="libvcpu" path="l4/pkg/libvcpu" />
31 |   <project name="mk" path="l4" />
32 |   <project name="nvme-driver" path="l4/pkg/nvme-driver" />
33 |   <project name="readline" path="l4/pkg/readline" />
34 |   <project name="rtc" path="l4/pkg/rtc" />
35 |   <project name="tinit" path="l4/pkg/tinit" />
36 |   <project name="tvmm" path="l4/pkg/tvmm" />
37 |   <project name="uvmm" path="l4/pkg/uvmm" />
38 |   <project name="virtio-net" path="l4/pkg/virtio-net" />
39 |   <project name="zlib" path="l4/pkg/zlib" />
40 | </manifest>
41 | 


--------------------------------------------------------------------------------