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
Stefan Lankes
a51abe5245
minor change to improve the readability
2017-01-08 19:39:52 +01:00
Stefan Lankes
6dc1f56db6
add scripts to build a debian package
2017-01-08 19:33:58 +01:00
Stefan Lankes
b107f7dd15
add missing install script
2017-01-08 19:07:48 +01:00
Stefan Lankes
9e3620cc2f
add rule to install the libraries
2017-01-08 19:49:02 +01:00
Stefan Lankes
8d6b1e010d
store the libhermit.a in top source directory
2017-01-08 19:29:19 +01:00
Stefan Lankes
bf9f33c865
disable verbose mode
2017-01-08 19:21:49 +01:00
Stefan Lankes
73c63fd676
remove obsolete flag T
2017-01-08 19:00:38 +01:00
Stefan Lankes
0f09e93140
enable verbose mode
2017-01-08 17:33:36 +01:00
Stefan Lankes
1ce65f052d
build libhermit.a without testing
2017-01-08 15:52:14 +01:00
Stefan Lankes
47ec665163
remove obsolete flags
2017-01-08 12:10:00 +01:00
Stefan Lankes
79a12cfff3
create toolchain (and its submodules) only on demand
...
- only is the configure flag "--with-toolchain" is set, the whole
toolchain will be created
- gcc & Co are not longer part of this repository => download these
submodules on demand
2017-01-08 00:59:39 +01:00
Stefan Lankes
7e71fef557
add config.h to the list of ignored files
2016-12-09 16:30:54 +01:00
Stefan Lankes
9507a45c97
add forward declaration of a few functions to avoid compiler problems
2016-12-09 16:30:54 +01:00
Stefan Lankes
e9ff3fbf49
add current versions of binutils and newlib
2016-12-09 16:30:54 +01:00
Stefan Lankes
726279abd8
remove typos
2016-12-09 16:30:54 +01:00
Stefan Lankes
fec29f19ff
enable c++ & lto support within the bootstrapcompiler
2016-12-03 00:44:32 +01:00
Stefan Lankes
84e0c3f7f6
move more marcos (CONFIG_VGA etc) to config.h
2016-12-03 00:44:32 +01:00
Stefan Lankes
0508470d4e
add definition of KMSG_SIZE
2016-12-03 00:44:32 +01:00
Stefan Lankes
643987ed90
add missing file
2016-12-03 00:44:32 +01:00
Stefan Lankes
a289acf440
add auto creation of config.h
2016-12-03 00:44:32 +01:00
Stefan Lankes
cadacc24ae
reserve at boot time a region for the heap
...
=> no race between stack und heap creation
2016-12-03 00:44:32 +01:00