Mirrors/libhermit
1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00
Code Issues Releases Wiki Activity
1778 commits 6 branches 0 tags 227 MiB
Commit graph

1778 commits

This branch
This branch
All branches
Author SHA1 Message Date
Stefan Lankes
3448987490 add auto-generated makefiles to the list of ignored files 2017-01-18 12:09:39 +01:00
Stefan Lankes
48160dc5eb install deb packet, which tarvis has been created 2017-01-18 11:55:06 +01:00
Stefan Lankes
81bff86f64 Merge branch 'production' into devel 2017-01-17 23:23:12 +01:00
Stefan Lankes
bca3f6a731 fix path to the loader 2017-01-17 22:55:42 +01:00
Stefan Lankes
863fbdcbda build all libs 2017-01-17 21:28:43 +01:00
Stefan Lankes
6b5cb2e988 build bootstrap lib 2017-01-17 21:21:27 +01:00
Stefan Lankes
2b5de6b513 create directory for all bins 2017-01-17 21:07:06 +01:00
Stefan Lankes
7329103a30 remove typos 2017-01-17 20:52:06 +01:00
Stefan Lankes
4140a16862 add building of all user-level libs 2017-01-17 20:47:25 +01:00
Stefan Lankes
f847f7a0e8 add check that all binaries are build 2017-01-17 20:36:36 +01:00
Stefan Lankes
50df9f13a3 install all iRCCE headers 2017-01-17 20:34:33 +01:00
Stefan Lankes
7bd35ce3a1 Merge branch 'production' of github.com:RWTH-OS/HermitCore into production 2017-01-17 20:30:52 +01:00
Stefan Lankes
f13e655b72 build bootstrap version of HermitCore 2017-01-17 20:30:02 +01:00
Stefan Lankes
4747001f82 exclude RCCE headers 2017-01-17 20:10:41 +01:00
Stefan Lankes
451f18ea5a Install only RCCE headers 2017-01-17 19:57:02 +01:00
Stefan Lankes
5cf3e00096 on demand creates the install scripts the destination directories 2017-01-17 19:29:50 +01:00
Stefan Lankes
277cdf488b try to build all libraries 2017-01-17 19:19:31 +01:00
Stefan Lankes
5533980760 configure all makefiles 2017-01-17 19:13:56 +01:00
Stefan Lankes
33f949aa47 create Makefiles by HermitCore configure script 2017-01-17 19:09:39 +01:00
Stefan Lankes
808c061dc3 add missing configure script 2017-01-17 18:55:33 +01:00
Stefan Lankes
ab96d6e9af configure makefile also in usr/irrce 2017-01-17 18:52:03 +01:00
Stefan Lankes
f152caa005 remove typo 2017-01-17 18:49:05 +01:00
Stefan Lankes
1c0002a590 switch back to bootstrap compiler 2017-01-17 18:45:07 +01:00
Stefan Lankes
dc685c4f66 build after the libhermit also user-level libraries 2017-01-17 18:31:24 +01:00
Daniel Krebs
66083ab6c7 debian: prevent library stripping by debhelper 
This should produce binaries with the correct format now!
 2017-01-17 12:23:44 +01:00
Stefan Lankes
f7c09a44c6 add temporary repos to the list of ignored files 2017-01-16 18:54:15 +01:00
Stefan Lankes
5c648f22c1 add draft to integrate a hypervisor directly in the proxy 
- this reduce the overhead because the boot time is smaller in
  comparsion to qemu
- furthermore, a more direct communication via VM_EXISTS is possible
- the current version doesn't support a network interface

The hypervisor based on KVM and is called uhyve. You could test the
hypervisor with following command:

HERMIT_ISLE=uhyve HERMIT_VERBOSE=1 tools/proxy usr/tests/hello
 2017-01-16 18:47:13 +01:00
Stefan Lankes
82eeb6f076 add helper functions to create a hypercall 2017-01-16 18:44:20 +01:00
Stefan Lankes
dae96b1520 revise virt_to_phys to supporzt huge pages 
- the kernel is mapped with 2M pages
- all other parts use 4K pages
- now, virt_to_phys checks, which type of pages is used
 2017-01-16 18:41:12 +01:00
Stefan Lankes
c6803ecb19 reduce the number of debug messages 2017-01-16 18:11:08 +01:00
Daniel Krebs
60450d0086 travis: don't output all the readelf stuff but only the ABI version 2017-01-14 22:58:17 +01:00
Daniel Krebs
a135f11e70 deb: manually execute target for arch/x86/kernel/boot.h when building 2017-01-14 22:50:45 +01:00
Daniel Krebs
c3c4ade56f debian: remove /opt/hermit/share from deb package 2017-01-14 03:58:19 +01:00
Daniel Krebs
97e1b583fc try to fix building libhermit deb package with new bootstrap compiler 2017-01-13 20:47:19 +01:00
Stefan Lankes
caf2d34dfe enable sysroot support 2017-01-13 00:51:26 +01:00
Stefan Lankes
f4d860a84e user PACKAGE_VERSION instead of GIT_VERSION 2017-01-12 20:06:14 +01:00
Stefan Lankes
89b7b6ff7b don't remove git repository 2017-01-11 23:59:00 +01:00
Stefan Lankes
8136e034e7 add rule to install kernel headers 2017-01-11 23:57:58 +01:00
Stefan Lankes
7f9d933352 add support of virtio in the demo image 2017-01-11 17:33:10 +01:00
Stefan Lankes
6138032799 remove obsolete line 2017-01-11 10:12:03 +01:00
Stefan Lankes
ffde35e94a increase temporary the number of built messages 2017-01-11 09:35:25 +01:00
Stefan Lankes
c5a07fd304 add additional debug messages 2017-01-11 00:51:50 +01:00
Stefan Lankes
ba68a467e5 create directory for all binaries 2017-01-10 23:55:42 +01:00
Stefan Lankes
a3c9b3fcd9 remove obsolete libraries 2017-01-10 23:54:25 +01:00
Stefan Lankes
92e5a04d6b revise the build process, download required repos on demand 2017-01-10 23:47:18 +01:00
Stefan Lankes
a665d1f78e remove typo 2017-01-08 23:38:06 +01:00
Stefan Lankes
14ff0104d5 remove obsolte dependencies 2017-01-08 20:07:32 +01:00
Stefan Lankes
3cf0940683 overload auto_install with own installation rules 2017-01-08 19:55:00 +01:00
Stefan Lankes
fb3212de85 disable more tests 2017-01-08 19:49:26 +01:00
Stefan Lankes
45a085fdfb disable checks 2017-01-08 19:45:22 +01:00