-
Notifications
You must be signed in to change notification settings - Fork 0
argos-research-archive/L4Re-AdmCtrl-SB-BA
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
#Admission Control build system# To use this system, run: ./run.sh, to run entrypoint "acstand" to make admission control work ./run.sh ENTRY to run entrypoint named "ENTRY" e.g. hello To build the system run (in this order): ./build-kernel.sh to build the kernel into obj/fiasco/ia32 (see fiasco website for further information) ./build-runtime.sh to build the unmodified runtime into obj/l4/x86 (based on bachelor_thesis from Hauner, see l4re website for further use) ./build-modified.sh to build the modified packages (libkproxy, libac, l4re_kernel, moe) Also have a look at the README.txtfile in l4-modified/pkg/libac. POSSIBLE TROUBLES WITH UBUNTU 14.10 (GCC 5.0) AND HIGHER (DUE TO THIS VERSION OF FIASCO AND L4RE). CONFIG TO GCC 4.9 AND BELOW OR TRY UBUNTU 14.04 AND BELOW.
About
Admission Control for the L4Re
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published