1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-30 00:00:15 +01:00

build also all examples

This commit is contained in:
Stefan Lankes 2017-01-18 12:56:19 +01:00
parent 3448987490
commit 01c092c19f
2 changed files with 12 additions and 1 deletions

View file

@ -19,6 +19,7 @@ script:
- cd libhermit-0.1
- debuild -e PATH -us -uc -j2
- sudo dpkg -i ../libhermit*_amd64.deb
- make -j2 examples
deploy:
on: production

View file

@ -272,7 +272,17 @@ int memory_init(void)
LOG_INFO("Free region 0x%zx - 0x%zx\n", start_addr, end_addr);
if ((start_addr <= base) && (end_addr >= PAGE_2M_FLOOR(base+image_size))) {
if ((start_addr <= base) && (end_addr <= base)) {
init_list.start = start_addr;
init_list.end = end_addr;
LOG_INFO("Add region 0x%zx - 0x%zx\n", init_list.start, init_list.end);
} else if ((start_addr <= base) && (end_addr < PAGE_2M_FLOOR(base+image_size))) {
init_list.start = start_addr;
init_list.end = base;
LOG_INFO("Add region 0x%zx - 0x%zx\n", init_list.start, init_list.end);
} else if ((start_addr <= base) && (end_addr >= PAGE_2M_FLOOR(base+image_size))) {
init_list.start = PAGE_2M_FLOOR(base+image_size);
init_list.end = end_addr;