barrelfish
5 years agoRenamed the 32bit variants as well. release2014-12-01
Gerd Zellweger [Fri, 28 Nov 2014 15:47:25 +0000]
Renamed the 32bit variants as well.

5 years agoChange machine names to uniform naming.
Gerd Zellweger [Fri, 28 Nov 2014 15:37:23 +0000]
Change machine names to uniform naming.

5 years agoCaching the kernel and monitor binary on booting cores.
Gerd Zellweger [Fri, 28 Nov 2014 14:53:25 +0000]
Caching the kernel and monitor binary on booting cores.

This is more of a short term fix for a problem we have with the system
hard resetting after we've used too much memory. If we don't cache we
effectively create 3 copies for kernel/monitor (ramfsd, corectrl, relocation)
every time we boot a core.

5 years agobugfix: argc count for the CPU parameter was not increased by 4 to
Reto Achermann [Thu, 27 Nov 2014 11:46:28 +0000]
bugfix: argc count for the CPU parameter was not increased by 4 to
handle the additional arguments.
Conflicts:
usr/kaluga/start_cpu.c

5 years agoRemoved extra include path element (/include/dev) from all rules
Timothy Roscoe [Thu, 27 Nov 2014 11:59:42 +0000]
Removed extra include path element (/include/dev) from all rules

5 years agoEnsure all Mackerel files are included explicitly from dev/
Timothy Roscoe [Thu, 27 Nov 2014 11:52:36 +0000]
Ensure all Mackerel files are included explicitly from dev/

5 years agoFixed bogus Mercurial dependency in the Spec technical note
Timothy Roscoe [Thu, 27 Nov 2014 09:36:34 +0000]
Fixed bogus Mercurial dependency in the Spec technical note

5 years agoExtend scope of barrelfish_id_s, so other stack elements to not interfere.
Gerd Zellweger [Wed, 26 Nov 2014 14:04:42 +0000]
Extend scope of barrelfish_id_s, so other stack elements to not interfere.

5 years agoAPIC IDs passed to corectrl are no longer hex values.
Gerd Zellweger [Wed, 26 Nov 2014 14:04:15 +0000]
APIC IDs passed to corectrl are no longer hex values.

5 years agoDo not pass barrelfish_id as hex argument.
Gerd Zellweger [Wed, 26 Nov 2014 12:24:57 +0000]
Do not pass barrelfish_id as hex argument.

5 years agoDisable debugging.
Gerd Zellweger [Wed, 26 Nov 2014 12:23:47 +0000]
Disable debugging.

5 years agoFix printf's remove dead code.
Gerd Zellweger [Wed, 26 Nov 2014 12:23:08 +0000]
Fix printf's remove dead code.

5 years agoFix incorrect malloc usage that freezes kaluga.
Gerd Zellweger [Wed, 26 Nov 2014 12:22:29 +0000]
Fix incorrect malloc usage that freezes kaluga.

5 years agoMake sure ACPI debug compiles again.
Gerd Zellweger [Wed, 26 Nov 2014 10:41:56 +0000]
Make sure ACPI debug compiles again.

5 years agoPass custom kernel arguments to corectrl if they exist (in menu.lst)
Gerd Zellweger [Wed, 26 Nov 2014 10:38:40 +0000]
Pass custom kernel arguments to corectrl if they exist (in menu.lst)

In order to make sure that for example tomme machines get the correct
serial ports on APP cores.

5 years agoMoved periodicprint app from tests/hellotest to it's own directory.
Simon Gerber [Wed, 26 Nov 2014 13:12:55 +0000]
Moved periodicprint app from tests/hellotest to it's own directory.

5 years agocpuboot: moved errval_t out of __x86__ define.
Simon Gerber [Wed, 26 Nov 2014 12:54:22 +0000]
cpuboot: moved errval_t out of __x86__ define.

5 years agoMerge ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Timothy Roscoe [Wed, 26 Nov 2014 12:27:00 +0000]
Merge ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

5 years agoFixed core id mixup in park_boot test.
Simon Gerber [Wed, 26 Nov 2014 12:16:45 +0000]
Fixed core id mixup in park_boot test.

5 years agoFixed shadowed local variables, and added missing THC include files
Timothy Roscoe [Wed, 26 Nov 2014 12:00:22 +0000]
Fixed shadowed local variables, and added missing THC include files

5 years agoRemoved shadowed local variable err
Timothy Roscoe [Wed, 26 Nov 2014 10:09:11 +0000]
Removed shadowed local variable err

5 years agoAdded bench_tsc_per_* functions for arm.
Simon Gerber [Wed, 26 Nov 2014 09:51:49 +0000]
Added bench_tsc_per_* functions for arm.

5 years agoImproved interactive test framework and improved coreboot tests.
Simon Gerber [Wed, 26 Nov 2014 09:50:40 +0000]
Improved interactive test framework and improved coreboot tests.

Coreboot tests try to detect number of cores in machine they're running on and
choose core ids accordingly.  Interactive test framework now works with QEMU.

5 years agoMerge ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Timothy Roscoe [Wed, 26 Nov 2014 09:10:12 +0000]
Merge ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

5 years agoModified gem5 machine to use telnetlib instead of subprocess and reduced connect...
Simon Gerber [Tue, 25 Nov 2014 14:01:46 +0000]
Modified gem5 machine to use telnetlib instead of subprocess and reduced connect timeout.

5 years agoMake sure Barrelfish CPU driver starting comes before apic_init.
Gerd Zellweger [Tue, 25 Nov 2014 12:56:31 +0000]
Make sure Barrelfish CPU driver starting comes before apic_init.

Makes sure the harness tests will work again:
The update_kernel test expects a prompt output again after
corectrl has finished.
apic_init will release the *ap_wait pseudo-lock and therefore let
corectrl finish. Then the kernel immediately prints the Barrelfish CPU
driver starting line which tends to conflict with fish since both
the new kernel and fish will print at the same time, leading to
interleaved output (print from serial and kernels can currently
happen at the same time).

5 years agoMake sure we can boot a core on ARMv7 gem5 again.
Gerd Zellweger [Tue, 25 Nov 2014 12:18:36 +0000]
Make sure we can boot a core on ARMv7 gem5 again.

Also get rid of pseudo-lock for kernel boot-up on GEM5. As it seemed to block
the booting of the other core (not sure why that is). However the pseudo lock is
a x86 artefact anyways and we can ignore it for ARM in this case.

5 years agoMerge branch 'master' of ssh://git.systems.ethz.ch:8092/barrelfish
Timothy Roscoe [Tue, 25 Nov 2014 08:31:18 +0000]
Merge branch 'master' of ssh://git.systems.ethz.ch:8092/barrelfish

5 years agoFixed octopus dependency problem
Timothy Roscoe [Tue, 25 Nov 2014 08:31:11 +0000]
Fixed octopus dependency problem

5 years agoUpdate gem5 build to use corectrl instead of spawnd.
Gerd Zellweger [Tue, 25 Nov 2014 07:38:17 +0000]
Update gem5 build to use corectrl instead of spawnd.

5 years agoUpdated .gitignore.
Gerd Zellweger [Tue, 25 Nov 2014 07:15:22 +0000]
Updated .gitignore.

5 years agoarm: Fixed printf format in fatal_kernel_fault handler.
Simon Gerber [Mon, 24 Nov 2014 14:58:32 +0000]
arm: Fixed printf format in fatal_kernel_fault handler.

5 years agoarm_gem5: Added missing symbol relocation for kcb_current.
Simon Gerber [Mon, 24 Nov 2014 14:47:31 +0000]
arm_gem5: Added missing symbol relocation for kcb_current.

5 years agoarm: Fixed calculation of ELF addrs for kernel PC values
Simon Gerber [Mon, 24 Nov 2014 14:47:00 +0000]
arm: Fixed calculation of ELF addrs for kernel PC values

5 years agoRevert to Linux ARM compiler.
Gerd Zellweger [Sat, 22 Nov 2014 14:34:54 +0000]
Revert to Linux ARM compiler.

5 years agoARMv7 GEM5 compiles again.
Gerd Zellweger [Sat, 22 Nov 2014 14:26:33 +0000]
ARMv7 GEM5 compiles again.

Currently faults in kernel after init is started.

5 years agoCompile armv5 and runs memtest on Qemu.
Gerd Zellweger [Sat, 22 Nov 2014 13:28:51 +0000]
Compile armv5 and runs memtest on Qemu.

5 years agoCompile code for ARM.
Gerd Zellweger [Sat, 22 Nov 2014 12:51:06 +0000]
Compile code for ARM.

5 years agoAdded initialization for schedsim kcb.
Simon Gerber [Fri, 21 Nov 2014 17:57:52 +0000]
Added initialization for schedsim kcb.

5 years agoFixed rbed scheduler code to still work in schedsim.
Simon Gerber [Fri, 21 Nov 2014 17:55:27 +0000]
Fixed rbed scheduler code to still work in schedsim.

5 years agoDisplay core count in the benchmark.
Gerd Zellweger [Fri, 21 Nov 2014 17:22:07 +0000]
Display core count in the benchmark.

5 years agoReturn number of instance spawned in spawn_on_all_cores.
Gerd Zellweger [Fri, 21 Nov 2014 17:11:41 +0000]
Return number of instance spawned in spawn_on_all_cores.

This also allows to remove the get_num_cores call in the
monitor and is the more sane approach anyways with dynamic
cores.

5 years agoRemove dead code.
Gerd Zellweger [Fri, 21 Nov 2014 16:42:52 +0000]
Remove dead code.

5 years agoMove oct_parse_names and oct_free_names to parser library.
Gerd Zellweger [Fri, 21 Nov 2014 16:24:35 +0000]
Move oct_parse_names and oct_free_names to parser library.

5 years agoChange spawn_program_on_all_cores implementation.
Gerd Zellweger [Fri, 21 Nov 2014 16:12:30 +0000]
Change spawn_program_on_all_cores implementation.

We can no longer rely on monitor giving us core count.

5 years agoRemove old code.
Gerd Zellweger [Fri, 21 Nov 2014 16:11:57 +0000]
Remove old code.

5 years agoAdd k1om boot driver.
Gerd Zellweger [Fri, 21 Nov 2014 14:19:22 +0000]
Add k1om boot driver.

5 years agoAdded missing include in usr/monitor/inter.c
Simon Gerber [Fri, 21 Nov 2014 14:33:38 +0000]
Added missing include in usr/monitor/inter.c

5 years agoFixed usage of kernel cap in armboot. Using IPICmd_Send_Start to call Spawn_core...
Simon Gerber [Fri, 21 Nov 2014 14:33:21 +0000]
Fixed usage of kernel cap in armboot. Using IPICmd_Send_Start to call Spawn_core for now.

5 years agoMake kernel create IPI cap which is passed to monitor.
Simon Gerber [Fri, 21 Nov 2014 14:05:09 +0000]
Make kernel create IPI cap which is passed to monitor.

This replaces the create_cap invocation in the monitor that creates an IPI cap
when someone requests a copy of it.

5 years agoFactored out IPI sending invocations to their own cap instead of kernel cap.
Simon Gerber [Fri, 21 Nov 2014 13:54:17 +0000]
Factored out IPI sending invocations to their own cap instead of kernel cap.

5 years agoReplaced get_global_paddr invocation with monitor RPC call.
Simon Gerber [Fri, 21 Nov 2014 13:17:56 +0000]
Replaced get_global_paddr invocation with monitor RPC call.

5 years agoReplaced raw invocation for cap_set_remote in boot driver with monitor rpc.
Simon Gerber [Fri, 21 Nov 2014 12:52:47 +0000]
Replaced raw invocation for cap_set_remote in boot driver with monitor rpc.

5 years agoRemoved function declearations for non-existant functions.
Simon Gerber [Fri, 21 Nov 2014 12:52:13 +0000]
Removed function declearations for non-existant functions.

5 years agoAdd required delays in x86boot to boot XeonPhi cores.
Gerd Zellweger [Fri, 21 Nov 2014 13:53:32 +0000]
Add required delays in x86boot to boot XeonPhi cores.

5 years agoFix spantest and ump_bench by making sure all_spawnd_up is set correctly again.
Gerd Zellweger [Fri, 21 Nov 2014 10:48:45 +0000]
Fix spantest and ump_bench by making sure all_spawnd_up is set correctly again.

5 years agoMerge with local master.
Gerd Zellweger [Thu, 20 Nov 2014 08:24:49 +0000]
Merge with local master.

5 years agoMerge branch 'master' of hg.systems.ethz.ch:barrelfish
Gerd Zellweger [Thu, 20 Nov 2014 08:23:33 +0000]
Merge branch 'master' of hg.systems.ethz.ch:barrelfish

Conflicts:
kernel/arch/x86/start_aps.c

5 years agoUpdated README to reflect changes to toolchain and newly supported HW. release2014-11-19
Simon Gerber [Wed, 19 Nov 2014 15:56:18 +0000]
Updated README to reflect changes to toolchain and newly supported HW.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoUpdated ARM targets to build with Ubuntu ARM gcc.
Simon Gerber [Wed, 19 Nov 2014 15:43:08 +0000]
Updated ARM targets to build with Ubuntu ARM gcc.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoAdded octopus rpcclient defs to lib/spawndomain.
Simon Gerber [Wed, 19 Nov 2014 11:57:17 +0000]
Added octopus rpcclient defs to lib/spawndomain.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoFixed ETH nfs exports.
Simon Gerber [Wed, 19 Nov 2014 11:12:07 +0000]
Fixed ETH nfs exports.

5 years agoWorkaround for perfmon_amd_supported() causing page fault.
Simon Gerber [Fri, 31 Oct 2014 13:48:25 +0000]
Workaround for perfmon_amd_supported() causing page fault.

constant string contents are interpreted as address in call to strncmp with
old version; maybe a compiler bug/bugfix in gcc 4.8? The old code used to
work with gcc 4.6.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoMake hake and mackerel compile with ghc 7.6.
Wang Nan [Tue, 18 Nov 2014 14:15:53 +0000]
Make hake and mackerel compile with ghc 7.6.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

5 years agoRemove debug print in mem_alloc.
Gerd Zellweger [Tue, 11 Nov 2014 16:47:24 +0000]
Remove debug print in mem_alloc.

5 years agoRemove unneeded code.
Gerd Zellweger [Tue, 11 Nov 2014 16:25:05 +0000]
Remove unneeded code.

5 years agoRemove no longer needed code.
Gerd Zellweger [Tue, 11 Nov 2014 15:43:56 +0000]
Remove no longer needed code.

5 years agoRename x86boot/armboot -> corectrl.
Gerd Zellweger [Tue, 11 Nov 2014 15:34:50 +0000]
Rename x86boot/armboot -> corectrl.

5 years agoRemove debug print.
Gerd Zellweger [Tue, 11 Nov 2014 15:27:01 +0000]
Remove debug print.

5 years agoMake sure it compiles on x86 again.
Gerd Zellweger [Tue, 11 Nov 2014 15:26:14 +0000]
Make sure it compiles on x86 again.

5 years agoRemove file twice that is duplicated 3x.
Gerd Zellweger [Tue, 11 Nov 2014 14:41:54 +0000]
Remove file twice that is duplicated 3x.

5 years agoBoot driver for ARM can now boot a pandaboard core.
Gerd Zellweger [Tue, 11 Nov 2014 14:41:27 +0000]
Boot driver for ARM can now boot a pandaboard core.

5 years agoAdded armboot to pandaboard.
Gerd Zellweger [Tue, 11 Nov 2014 13:07:26 +0000]
Added armboot to pandaboard.

5 years agoAdded cap_invoke macros for ARM.
Gerd Zellweger [Tue, 11 Nov 2014 13:07:06 +0000]
Added cap_invoke macros for ARM.

5 years agoRemove no longer needed message handlers.
Gerd Zellweger [Tue, 11 Nov 2014 13:06:20 +0000]
Remove no longer needed message handlers.

5 years agoRefactored code to boot arm into x86boot.
Gerd Zellweger [Tue, 11 Nov 2014 13:05:22 +0000]
Refactored code to boot arm into x86boot.

5 years agoRevert "Fix mem_alloc required bits. (TODO: figure out why exactly this breaks now)"
Gerd Zellweger [Tue, 11 Nov 2014 12:02:13 +0000]
Revert "Fix mem_alloc required bits. (TODO: figure out why exactly this breaks now)"

This reverts commit efef82f5fe79b927153795df91bae9b4098f983a.

5 years agoFixed bomp ft benchmark.
Simon Gerber [Mon, 10 Nov 2014 14:32:15 +0000]
Fixed bomp ft benchmark.

5 years agoCleaned up page cn and physaddr cn creation code.
Simon Gerber [Mon, 10 Nov 2014 13:20:10 +0000]
Cleaned up page cn and physaddr cn creation code.

5 years agoRemove no longer needed code.
Gerd Zellweger [Tue, 11 Nov 2014 07:54:42 +0000]
Remove no longer needed code.

5 years agoStart on ARM boot driver.
Gerd Zellweger [Tue, 11 Nov 2014 07:54:22 +0000]
Start on ARM boot driver.

5 years agoAdd dummy all_spawnds_up for ARM kaluga.
Gerd Zellweger [Mon, 10 Nov 2014 18:01:21 +0000]
Add dummy all_spawnds_up for ARM kaluga.

5 years agoFix mem_alloc required bits. (TODO: figure out why exactly this breaks now)
Gerd Zellweger [Mon, 10 Nov 2014 18:00:44 +0000]
Fix mem_alloc required bits. (TODO: figure out why exactly this breaks now)

5 years agoInitialize bsp KCB on ARM.
Gerd Zellweger [Mon, 10 Nov 2014 16:28:33 +0000]
Initialize bsp KCB on ARM.

5 years agoFix shadow of index variable.
Gerd Zellweger [Mon, 10 Nov 2014 16:14:59 +0000]
Fix shadow of index variable.

5 years agoMake sure ARM kernels are working agian.
Gerd Zellweger [Mon, 10 Nov 2014 16:14:15 +0000]
Make sure ARM kernels are working agian.

5 years agoPut KCB syscalls in platform independent kernel source.
Gerd Zellweger [Mon, 10 Nov 2014 16:13:16 +0000]
Put KCB syscalls in platform independent kernel source.

5 years agoAdd support to identify KCB on 32bit and correctly abort if it fails.
Gerd Zellweger [Mon, 10 Nov 2014 13:35:22 +0000]
Add support to identify KCB on 32bit and correctly abort if it fails.

5 years agoAdd x86boot to 32bit menu.lst
Gerd Zellweger [Mon, 10 Nov 2014 11:22:43 +0000]
Add x86boot to 32bit menu.lst

5 years agoRemove unused header.
Gerd Zellweger [Mon, 10 Nov 2014 11:09:23 +0000]
Remove unused header.

5 years agoMove boot-up assembly to usr/drivers.
Gerd Zellweger [Mon, 10 Nov 2014 10:16:16 +0000]
Move boot-up assembly to usr/drivers.

5 years agoNo longer shadow index variable.
Gerd Zellweger [Mon, 10 Nov 2014 10:15:04 +0000]
No longer shadow index variable.

5 years agoRemove unused hgignore and tags.
Gerd Zellweger [Mon, 10 Nov 2014 08:40:38 +0000]
Remove unused hgignore and tags.

5 years agoRemmove bo longer used code.
Gerd Zellweger [Mon, 10 Nov 2014 08:17:04 +0000]
Remmove bo longer used code.

5 years agoRemove unused code in cpuboot files.
Gerd Zellweger [Sat, 8 Nov 2014 00:07:06 +0000]
Remove unused code in cpuboot files.

5 years agoReinstantiate printing of kernel start address.
Gerd Zellweger [Sat, 8 Nov 2014 00:06:04 +0000]
Reinstantiate printing of kernel start address.

5 years agoDisable debug.
Gerd Zellweger [Fri, 7 Nov 2014 23:44:23 +0000]
Disable debug.

5 years agoMake sure 32bit is booting kernels.
Gerd Zellweger [Fri, 7 Nov 2014 23:40:14 +0000]
Make sure 32bit is booting kernels.

5 years agoStarting to add 32bit boot functionality.
Gerd Zellweger [Fri, 7 Nov 2014 16:40:19 +0000]
Starting to add 32bit boot functionality.

5 years agoFix invocations, added missing syscall handler
Gerd Zellweger [Fri, 7 Nov 2014 16:39:36 +0000]
Fix invocations, added missing syscall handler