1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-16 00:00:06 +01:00
Commit graph

726 commits

Author SHA1 Message Date
Stefan Lankes
6d8d6ee2ad Add description to the standalone version of HermitCore
In the source code, we use the notation "single kernel" for the standalone version because the multi-kernel approach is default case.
2016-08-02 07:48:42 +02:00
Stefan Lankes
7002a854cb add code description 2016-08-02 07:09:49 +02:00
Stefan Lankes
eb1fc29cdd remove obsolete code 2016-08-02 00:28:46 +02:00
Stefan Lankes
2861c88622 add boot.h to the list of ignored files 2016-08-02 00:09:57 +02:00
Stefan Lankes
b85b714813 add SMP support for the single-kernel version of HermitCore 2016-08-02 00:08:02 +02:00
Stefan Lankes
d8c891a32c remove typo, some code cleanups 2016-08-02 00:06:12 +02:00
Stefan Lankes
6aa60f882b add UART support
if CONFIG_VGA isn't defined, HermitCore use the UART device to dump
kernel messges.
2016-08-01 00:20:54 +02:00
Stefan Lankes
c10ab74d67 add prototype of basic ethernet support
- add devices driver for Intel's E1000 and Realtek's 8139
- currently, work in progress and not initialized at boot time
2016-07-27 22:35:01 +02:00
Stefan Lankes
f00773ce8b reactivate IOAPIC support for the single-kernel version of HermitCore 2016-07-27 22:33:31 +02:00
Stefan Lankes
97c2b21254 reactivate PCI support for the single-kernel version of HermitCore 2016-07-27 22:32:16 +02:00
Stefan Lankes
e8a61a299b add the possibility to page aligned memory regions
=> usefull for device drivers (DMA transfers)
2016-07-27 22:30:00 +02:00
Stefan Lankes
7b1dd26d42 remove redefinition of VIDEO_MEM_ADDR 2016-07-25 19:48:11 +02:00
Stefan Lankes
48ea69d86f enable DHCP support 2016-07-25 19:47:08 +02:00
Stefan Lankes
f8b2636b59 determine upper limit of the usable memory 2016-07-25 19:45:02 +02:00
Stefan Lankes
f75dbe82b3 add single kernel support
HermitCore apps are directly bootable with the new loader
2016-07-25 08:04:02 +02:00
Stefan Lankes
85d6ccd8eb add vga module to the libOS 2016-07-25 07:59:26 +02:00
Stefan Lankes
3d799af899 add VGA support 2016-07-25 07:57:33 +02:00
Stefan Lankes
7ab3648814 map physical memory address of the graphic adapter 2016-07-25 07:55:38 +02:00
Stefan Lankes
449824349b if libc_sd is invalid, the system call open returns an error number 2016-07-25 07:50:34 +02:00
Stefan Lankes
52ad45072f move image boundary to 2MB
=> which is a requirement of HermitCore's memory management
2016-07-25 07:47:51 +02:00
Stefan Lankes
1d23b3b8dc remove obsolete line 2016-07-25 07:46:55 +02:00
Stefan Lankes
fabfd1067e set max page size to 0x1000, which reduces the image size 2016-07-25 07:45:34 +02:00
Stefan Lankes
6c339c64d6 trampoline code doesn't longer enable SMEP
because old CPUs don't support this feature
2016-07-19 23:36:01 +02:00
Stefan Lankes
534170354e Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel 2016-07-19 23:23:29 +02:00
Stefan Lankes
724a2cd70d some code cleanups, the current version is just proof of concept 2016-07-19 23:19:14 +02:00
Stefan Lankes
66195c7795 add basic bootloader to support a non multi-kernel mode
=> HermitCore will support a classical unikernel mode
2016-07-18 23:06:40 +02:00
Stefan Lankes
6228598646 Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel 2016-07-05 12:36:39 +02:00
Stefan Lankes
bcaccc2e69 add checks to be sure that HermitCore receives the whole IP message 2016-07-05 12:35:36 +02:00
Stefan Lankes
b71faae53c align memory to 8 byte, add patch for bug #39683
- Bug description: https://savannah.nongnu.org/bugs/index.php?39683
- Patch: http://git.savannah.gnu.org/cgit/lwip.git/commit/?id=8c1f834a4a9c21f454ee0c034d14df93c4bb4909
2016-07-05 12:34:59 +02:00
Stefan Lankes
25b360e589 remove some obsolete memory barries 2016-07-05 12:33:59 +02:00
Stefan Lankes
e32af9c2d6 Merge pull request #27 from daniel-k/pr/minor_fixes
Remove some compiler warnings
2016-07-01 23:09:57 +02:00
daniel-k
cd30d0969b kernel/tasks: add missing include <asm/processor.h> for get_tls() 2016-07-01 20:33:26 +02:00
daniel-k
3d752ed737 kernel/main: get rid of unused variable warning 2016-07-01 20:33:26 +02:00
daniel-k
53331b3daa hermit/tasks.h: typo 2016-07-01 20:33:26 +02:00
daniel-k
b3f156b7a5 hermit/stddef.h: remove excess ';' 2016-07-01 20:33:26 +02:00
Stefan Lankes
11c32c5676 move functions to serialize load and store operations to the headers
HermitCore supports only 64bit processors
=> all processors support sfence & co
=> no descision at runtime required
2016-07-01 19:45:27 +02:00
Stefan Lankes
bb1b451f13 remove obsolete staff to debug the driver 2016-06-30 22:49:34 +02:00
Stefan Lankes
ffc38104c9 add memory barriers, use __builtin_memcpy to improve the performance 2016-06-30 22:38:24 +02:00
Stefan Lankes
a3ed137f07 trampoline code doesn't longer enable SMEP
because old CPUs don't support this feature
2016-06-28 20:52:36 +02:00
Stefan Lankes
7d471b4691 use per default rdtsc instead of rdtscp
because old CPUs don't support the instruction rdtscp
2016-06-28 20:46:33 +02:00
Stefan Lankes
05da1694a1 add store barrier to avoid consistency problems 2016-06-28 13:50:05 +02:00
Stefan Lankes
5bdc732cd8 add support of old architectures, which doesn't support AVX 2016-06-27 19:13:40 +02:00
Stefan Lankes
f1ba1aa30f Merge branch 'devel' of github.com:RWTH-OS/HermitCore into devel 2016-06-27 12:29:27 +02:00
Stefan Lankes
f3cbd83fd3 recommend to disable Linux NO_HZ feature 2016-06-27 12:28:38 +02:00
Stefan Lankes
3675ab6ec6 switch to Linux 4.5.6 2016-06-27 12:19:12 +02:00
Stefan Lankes
5782edd4eb set MAX_APIC_CORES to MAX_CORES
- a separation of both values isn't meaningful
2016-06-25 14:45:24 +02:00
Stefan Lankes
995d88d7e4 remove obsolete macro LIBOS 2016-06-25 14:36:55 +02:00
Stefan Lankes
bb1e2d7d5f Merge pull request #26 from daniel-k/devel
kernel/clone_task: also destroy interrupt stack on failure
2016-06-24 21:52:26 +02:00
daniel-k
74c3d4f0ba kernel/create_task: also destroy interrupt stack on failure 2016-06-24 21:07:21 +02:00
daniel-k
0384aa3443 kernel/clone_task: also destroy interrupt stack on failure 2016-06-24 21:06:35 +02:00